A nix flake to build and host some CSS and JavaScript files I need for my site.

Updated 5 days ago

An Elm re-implementation of bergamot.

Updated 2 days ago

Attempts at formalizing static program analysis techniques in Agda.

Updated 2 weeks ago

A tiny little logic programming language

Updated 2 months ago

A unification monad implemented using PureScript.

Updated 9 months ago

PureScript implementation of the success-failure-continuation-based backtracking monad transformer.

Updated 9 months ago

Code for the compiler described in my blog

Updated 11 months ago

A Ruby script to convert LaTeX in pages into HTML.

Updated 1 year ago

A tiny web server exposing KaTeX through an API.

Updated 1 year ago

Formal verification of solution from the homework.

Updated 2 years ago

Nix flake / derivation for building my blog.

Updated 5 days ago

Updated 3 years ago

Solutions from when I actually took the class.

Updated 2 years ago

Modification of the Vanilla Hugo theme for Maypop's website.

Updated 3 years ago

Hugo theme for my blog.

Updated 5 days ago

Updated 3 years ago

Updated 3 years ago

Updated 3 years ago