Universal markup converter

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

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

A modern proof language

A Dependently Typed Functional Programming Language

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

A static website compiler library in Haskell

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

lamdu - towards the next generation IDE

Official upstream development repository for Cabal and cabal-install

Research language for array processing in the Haskell/ML family

♊ higher-order, no-boilerplate monads

Applicative option parser

Minimal implementations for dependent type checking and elaboration

A demo implementation of a simple dependently-typed language

Experimental implementation of Cubical Type Theory

A fast functional language based on two level type theory

A lexical analyser generator for Haskell

Examples of Dependently-typed programs in Haskell

Frank compiler

Dependent type checker using normalisation by evaluation

pretty-printer for Haskell data types that have a Show instance

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

A small implementation of higher-order unification

A Super Kawaii Dependently Typed Programming Language

Implementation of Univalence in Cubical Sets

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

being an operating system for typechecking processes