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

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