Structured editing minor mode for Haskell in Emacs

Grammatical parsers - combinator library for parsing general context-free grammars

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Exploring the space of all possible programs

Educational computer programming environment using Haskell

A new system (IDE/language) for organizing code.

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

A logical/functional programming language based on sequent calculus

Tools that facilitate and encourage informed, rational, democratic policy discussion

A web-based 3 way interactive merge tool

A javascript clone of the educational graphing game Green Globs

A structural code editor in your web browser

In-browser code editor

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

A delightful little markup language.

Functional Image System

An assumption-tracking "object calculus"

A shipping tracking system for Merlin's Herbal Roots

A language-independent structural editor

A Haskell module for loading and rendering Collada 3D model files

Functional combinators for 3D geometry

A haskell ctags implementation that is aware of qualified imports, among other cool stuff

An experimental purely functional programming language

A structural editor for Haskell

Pure memoization combinators for Haskell

A simple, lazy trie of integers

A plant DNA decoding simulation

DevIL bindings for Haskell