I this is a growing list of projects that I have worked on.
My Nix Flake templates, which make it easier to write nix packages.
My Project Euler solutions.
Implemented a blog for Mohabat using Jekyll and the Minimal Mistakes theme.
Implemented a blog for Maria using Jekyll and the Hyde theme.
Makes bemenu appear on the correct monitor that it is called from, on SwayWM.
Changes the background on SwayWM every 15 minutes, from images in a given folder.
A TCP chat project, written in Haskell.
Univalent Mathematics implemented in Agda.
The second coursework from Graham Hutton’s Advanced Functional Programming course, the purpose of which was to build a (virtual) stack based compiler for a given imperative language.
Converts a directory of
.org files into
.gem files, for being hosted on Gemini.
Code for generating and tweeting Julia sets, using C and Python.