Regression tests for pages on the blog
Updated 2026-05-20 01:33:53 +00:00
A Hugo incarnation of the blog.
Updated 2026-05-31 05:43:22 +00:00
A nix flake to build and host some CSS and JavaScript files I need for my site.
Updated 2025-12-26 22:32:21 +00:00
Updated 2026-05-19 06:32:38 +00:00
A tiny web server exposing KaTeX through an API.
Updated 2022-10-19 02:09:54 +00:00
A Ruby script to convert LaTeX in pages into HTML.
Updated 2023-12-16 18:22:53 +00:00
Nix flake / derivation for building my blog.
Updated 2026-05-20 00:57:00 +00:00
Modification of the Vanilla Hugo theme for Maypop's website.
Updated 2021-06-01 05:33:56 +00:00
A command-line front-end for libabacus written in C++
Updated 2018-10-19 22:30:58 +00:00
An experimental attempt to write a regular expression matcher.
Updated 2018-09-20 00:27:38 +00:00
A library to convert a set of input patterns into tokens.
Updated 2018-09-20 00:27:29 +00:00
A homebrew data structure library for use in personal projects.
Updated 2018-09-20 00:27:22 +00:00
A math-centered programming language library.
Updated 2018-09-20 00:27:46 +00:00
A unification monad implemented using PureScript.
Updated 2023-03-13 04:05:17 +00:00
PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
Updated 2023-03-13 05:17:22 +00:00
An Elm re-implementation of bergamot.
Updated 2025-12-26 22:30:28 +00:00
A tiny little logic programming language
Updated 2023-10-16 00:54:42 +00:00