OTHER License
Statistics for this project are still being loaded, please check back later.
A self-hosting mini Haskell compiler with a mini C runtime.
Convert Haskell source code to Coq source code.
A modern syntax for the λ-calculus.
An opinionated list of resources for learning Haskell
Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement ...
koneko - a concatenative not-quite-lisp for kittens
educational compiler for not (quite) toy languages
Haskell grammar for tree-sitter.
Functional Programming Course