Universal markup converter

Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

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

Industrial-strength monadic parser combinator library

Emanate a structured view of your plain-text notes

A monadic parser combinator library

Minimal implementations for dependent type checking and elaboration

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

Classic Algorithm W for type inference.

A bidirectional type checker

入墨答Rumbda, the Chinese expression of lambda calculus

the source for my personal site, written in Haskell, powered by Hakyll

Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)

Small C Compiler written in Haskell

CPS transformer for ML language