Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Agda is a dependently typed programming language / interactive theorem prover.

lamdu - towards the next generation IDE

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

A peer-to-peer stack for code collaboration

A language for intent-centric and declarative decentralised applications

A distributed note taker and task manager.

My personal site

💃 an applicative functor that seamlessly talks to HTML inputs

⭐ it's a starcraft clone but with a dope typesystem

A self-hosted remote communication system designed for math discussions.

Symbol manipulation

Course materials for Stanford's CS43: Functional Programming Paradigms