Projects

Things I’ve built.

Libraries, languages, and servers written outside the lab, plus research code from inside it. Each entry links to the source.

Featured

A parser-combinator library I built to learn functional programming and Gleam.

An experiment in language design, compilers, and C++ metaprogramming.

A self-hostable, fault-tolerant chatroom backend built with Gleam and OTP for deploying custom chat applications.

Earlier and ongoing

An implementation of the Language Server Protocol specification (LSP 3.17) in C.

A JSON parser written in Haskell.

A Python fork of a Monte Carlo tree search with a random-forest surrogate, adapted to explore aggregating peptide sequences.

A proof-of-concept C++ neural network whose layers are computed across a network of participating machines, with consensus checks on layer outputs.