Formal verification of solution from the homework.

Updated 2 weeks ago

Updated 2 months ago

Nix flake / derivation for building my blog.

Updated 2 months ago

Updated 8 months ago

Solutions from when I actually took the class.

Updated 7 months ago

Modification of the Vanilla Hugo theme for Maypop's website.

Updated 8 months ago

Hugo theme for my blog.

Updated 3 weeks ago

Updated 10 months ago

Updated 9 months ago

Updated 9 months ago

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Common code that may come in useful for advent of code solutions.

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

A little bot to send updates from a private AoC leaderboard to a discord channel.

Updated 1 year ago

Homework assignments for CS 581.

Updated 1 year ago