The C++ Iceberg

Turnstyle is a graphical esoteric programming language based on lambda calculus

A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility

The CSV magician

minimalist pure lazy functional programming language (pythonic haskell)

Abstract krivine machine implementing call-by-name semantics. In OCaml.

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

Modern fork of the Arrow notation preprocessor

Learning Haskell for the first time and using it to write a simple C compiler

Modern Compiler Implementation in ML, in Haskell

Interpreter for Nano (condensed version of Haskell)

MiniHaskell compiler and interpreter with a Lucid-like dataflow IR

Interpreters for lambda calculus, calculus of constructions, and other languages

Strongly-typed System F in Haskell

An implementation of System F in Haskell

a brainfuck interpreter supporting linux syscalls with an example HTTP server

Haskell 98 monad transformer adding a phantom type argument

free monads

fast utf-8 character sets

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

mtl friendly exceptions

A convenient script that generates a fully decked haskell project in a matter of seconds!

Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.

The Montreal Haskell Compiler

The Utrecht Haskell Compiler (UHC)

Jhc Haskell Compiler (2005)

A Haskell 98 subset (type classes, data types) based on THIH

nhc98 Haskell compiler