mawww's experiment for a better code editor

λ² is a tool for synthesizing functional programs from input-output examples.

👻 Tiny Concurrent UI library with Fiber.

Alice the Caml - An OCaml build system experiment

A command-line benchmarking tool

Simple transformation language for XML with exact type-checking

A very fast linker for Linux

cram-like test runner

Freedoom is an entirely free software game based on the Doom engine.

Verified SSA-Based Register Assignment

Fast caching software with a focus on low latency and cpu efficiency.

Distributors - Unifying Parsers, Printers & Grammars

Build Systems à la Carte

An umbrella of radically different directions that we can interface with the web.

MetaCall: The ultimate polyglot programming experience.

Small powerful micro scripting language <1K SLOC

Lossless Scaling Frame Generation on Linux

AndBible: Bible Study

A demo implementation of a simple dependently-typed language

Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compiler-driven development and simplicity.

A functional language with dependent types and customisable type representations

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Implementation for ICFP 2020 paper

Notes written while consulting for the Higher Order Company

An example on how to write an incremental, concurrent, fault-tolerant compiler

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

A Lévy-optimal lambda calculus reducer with a backdoor to C

A PureScript web UI framework