Replib: generic programming & Unbound: generic treatment of binders

Swift compiler driver reimplementation in Swift

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

A truly tiny monadic parsing library

The Serenity Operating System 🐞

Stackless Async Subroutines for C

Small implementation of OutsideIn(X) type checking algorithm

A 21st century LaTeX wrapper

The web open source editor for presentations

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

Blockchain Technology for the Working Mathematician

Coq Lecture Notes (WIP)

Sturdy is a library for developing sound static analyses in Haskell.

Secure Coding in python

Constraint-based generics

Law-abiding optics for aeson

all your intentions turned to vapour

A library for building Haskell IDE tooling

Agda formalisation of dual-context constructive modal logics.

A functional test framework for LSP servers

SimplCont Scott Encoding

A (more or less) one page introduction to Nix, the language.

HTML5/EPUB3 version of SICP

Some experiments with defining tensors in Agda

Diablo devolved - magic behind the 1996 computer game

Library for generating Haskell source files and code fragments.

Scheme 9 from Empty Space (Reimagined)

An alternative BEAM implementation, designed for WebAssembly

Expands type synonyms in Template Haskell ASTs