Parsing, analyzing, and comparing source code across many languages

A Dependently Typed Functional Programming Language

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

The engine for haskell ide-integration. Not an IDE

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

Official upstream development repository for Cabal and cabal-install

The Plutus language implementation and tools

Liquid Types For Haskell

Minimal implementations for dependent type checking and elaboration

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Modern and extensible testing framework for Haskell

A library for building Haskell IDE tooling

Comparing many FRP implementations by reimplementing the same toy app in each.

Compiling to Categories

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

Haskell library for space- and time-efficient operations over Unicode text.

A fast functional language based on two level type theory

A CSS preprocessor as embedded Haskell.

Assorted concrete container types

A reference library for constraint-solving with propagators and CDCL.

Frank compiler

Library and executable for using citeproc with pandoc

A Functional Graph Library for Haskell

A small implementation of higher-order unification

agda-mode for neovim

CSL citation processing library in Haskell

higher order dependently typed logic programing

an implementation of stuck macros

Visualize live Haskell data structures in GHCi

The Haskell Refactoring Tool