A modern proof language

A Dependently Typed Functional Programming Language

Koka language compiler and interpreter

Pattern language

A functional programming language with static memory management

Algebraic graphs

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

A toy programming language with time travel

Where Lions Roam: RISC-V on the VELDT

The adventures of a Haskell compiler

A typed, polyglot, functional language

rslt, take five-ish

A small, weird and unpractical programming language.

Haskell distributed stream processing with exactly-once semantics

Another implementation of Frank.

Binary search tree based on a logarithmic method