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
Updated 12 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
Updated 5 days 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