Universal markup converter

A strongly-typed language that compiles to JavaScript

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

A modern proof 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.

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 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

Language Server for Agda

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

IO lib for haskell

The Ntha Programming Language