A Dependently Typed Functional Programming Language

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…

Miscellaneous articles. The readme is the table of contents.

A statically typed concatenative systems programming language.

Embedded language for high-performance array computations

Functional programming with fewer indirections

Automatic testing of Haskell programs.

Happy Haskell Hacking for editors. DEPRECATED

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Haskell shell scripting

Parsing all context-free grammars using Earley's algorithm in Haskell.

A simple expressions language with polymorphic extensible row types.

Equational laws for free

A language experiment -- irc.freenode.net ##coda

Typed frontend to TensorFlow and higher-order deep learning

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

A hip inductive theorem prover!

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

Tiny type-checker with dependent types

Bringing VIM philosophy to window management

A Haskell package that provides a monad transformer for mocking mtl-style typeclasses

An equational theorem prover based on Knuth-Bendix completion

Tools for working with derived Show instances in Haskell.

Get those pesky braces out of your face

XMonad Layout

Provides free functors that are adjoint to functors that forget class constraints.

being a thing I build on a Saturday

Simplified interface to the GHC API

Paradox model finder and equinox theorem prover for first-order logic.