A statically typed lisp, without a GC, for real-time applications.

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…

Agda is a dependently typed programming language / interactive theorem prover.

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Minimal implementations for dependent type checking and elaboration

Compositional pipelines

Don't Fear the Profunctor Optics!

The Monad Transformer Library

Automatic Differentiation

A formal logic framework that runs in the browser

Examples of Dependently-typed programs in Haskell

A categorical programming language with effects

Equational laws for free

Extensional capabilities and deriving combinators

Functional choreographic programming in Haskell

Get a GUI fast in any language under the sea!

Algebraic effects in the Bluefin effect system