Nix flake / derivation for building my blog.
Updated 4 weeks ago
A Hugo incarnation of the blog.
Updated 4 weeks ago
Hugo theme for my blog.
Updated 4 weeks ago
Code for the compiler described in my blog
Updated 4 weeks ago
Updated 4 weeks ago
Updated 1 month ago
A Ruby script to convert LaTeX in pages into HTML.
Updated 3 months ago
A tiny web server exposing KaTeX through an API.
Updated 3 months ago
My dotfiles.
Updated 8 months ago
Formal verification of solution from the homework.
Updated 1 year ago
Golden ratio based color generation.
Updated 1 year ago
My resume, written with HTML+SCSS
Updated 1 year ago
Solutions from when I actually took the class.
Updated 2 years ago
Modification of the Vanilla Hugo theme for Maypop's website.
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Custom Nix expressions for private packages.
Updated 2 years ago
A Telegram bot to send Joann Jarvis pictures from reddit every hour.
Updated 2 years ago