Attempts at formalizing static program analysis techniques in Agda.
Updated 2 weeks ago
My dotfiles.
Updated 3 months ago
My resume, written with HTML+SCSS
Updated 4 months ago
Code for the compiler described in my blog
Updated 11 months ago
Golden ratio based color generation.
Updated 2 years ago
custom-nix
Archived
Custom Nix expressions for private packages.
Updated 3 years ago
Updated 4 years ago
Stop! The! Homework!
Updated 4 years ago
A custom start page.
Updated 5 years ago
A desktop calculator built for precision.
Updated 6 years ago