a little ML, implemented from SPJ’s “Implementing Functional Languages"
BSD-3-CLAUSE License
Generate Purescript types from Haskell
An exploration and implementation of the lambda calculus.
(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-...
Compiler for the functional stack based programming language Joy
A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic ...
Plucky Runtime IO
An opinionated list of resources for learning Haskell
silly dependently-typed language
Monad transformers in CPS
A self-hosting mini Haskell compiler with a mini C runtime.
A program for evaluating a Haskell expression step-by-step
A port of miniprl to Haskell with co-/inductive types bolted on the side.
Another experiment in dependently typed languages, this time with some quantitative type theory s...
Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer
Poor man's typechecker in Template Haskell