Attempts at formalizing static program analysis techniques in Agda.
最後更新於 2024-03-24 12:11:10 -07:00
A Hugo incarnation of the blog.
最後更新於 2024-03-14 22:25:39 -07:00
Hugo theme for my blog.
最後更新於 2024-03-11 23:20:52 -07:00
My dotfiles.
最後更新於 2024-02-10 14:33:52 -08:00
An Elm re-implementation of bergamot.
最後更新於 2023-12-22 21:59:57 -08:00
最後更新於 2023-12-16 11:35:14 -08:00
A Ruby script to convert LaTeX in pages into HTML.
最後更新於 2023-12-16 10:22:53 -08:00
Nix flake / derivation for building my blog.
最後更新於 2023-11-29 23:36:14 -08:00
A nix flake to build and host some CSS and JavaScript files I need for my site.
最後更新於 2023-11-29 23:35:24 -08:00
A tiny little logic programming language
最後更新於 2023-10-15 17:54:42 -07:00
My resume, written with HTML+SCSS
最後更新於 2023-08-06 14:32:39 -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
Code for the compiler described in my blog
最後更新於 2023-01-01 14:52:07 -08: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
Formal verification of solution from the homework.
最後更新於 2022-01-06 22:00:08 -08:00
Golden ratio based color generation.
最後更新於 2021-11-13 14:50:41 -08:00
Solutions from when I actually took the class.
最後更新於 2021-06-27 23:56:44 -07:00
Modification of the Vanilla Hugo theme for Maypop's website.
最後更新於 2021-05-31 22:33:56 -07:00