Decompilation of Xenogears.

Lifting network implementation to precise format specification

CHERI Capability Derivation Tree

Includes an improved translation, rebalanced gameplay, and other quality of life improvements.

Marvel Champions game randomiser.

Coq AST and pretty-printer written in Haskell

Flexible and Constant Time Programming Language

An Emacs framework for the stubborn martian hacker

Haskell to JavaScript compiler, based on GHC

“Learn You a Haskell for Great Good!” by Miran Lipovača

Interactive theorem proving with Coq in vim.

LaTeX class file for writing dissertations at UC San Diego

Experiments about intermediate representations in compilers

Course materials for Stanford CS240h, "Functional Systems in Haskell"

Learn you an Agda (and achieve enlightenment)

Second year project. Network programming, system programming.