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