Nix flake / derivation for building my blog.
最終更新 2025-04-12 17:57:47 -07:00
A Hugo incarnation of the blog.
最終更新 2025-04-12 17:57:02 -07:00
Regression tests for pages on the blog
最終更新 2025-04-12 17:42:15 -07:00
最終更新 2025-03-02 19:02:05 -08:00
A nix flake to build and host some CSS and JavaScript files I need for my site.
最終更新 2024-11-03 17:15:52 -08:00
An Elm re-implementation of bergamot.
最終更新 2024-11-03 17:13:27 -08:00
An Agda formalization of some of what we talked about during the Formal interview.
最終更新 2024-09-24 18:46:42 -07:00
A Ruby script to convert LaTeX in pages into HTML.
最終更新 2023-12-16 10:22:53 -08:00
A tiny little logic programming language
最終更新 2023-10-15 17:54:42 -07:00
PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
最終更新 2023-03-12 22:17:22 -07:00
A unification monad implemented using PureScript.
最終更新 2023-03-12 21:05:17 -07:00
最終更新 2022-12-14 23:13:52 -08:00
A tiny web server exposing KaTeX through an API.
最終更新 2022-10-18 19:09:54 -07:00
Golden ratio based color generation.
最終更新 2021-11-13 14:50:41 -08:00