A tui client for browsing yts.mx
Updated
En databas för maträtter och recept.
Updated
An application for viewing album art of the song currently playing in mpd
Updated
my nixos configuration
Updated
A typechecker for intensional MLTT without elaboration.
Updated
psDeriver is a file which lets one define postscript derivations simply.
Updated
the sources for my website
Updated
A vm designed to run functional languages. Unfinished and (currently) abandoned.
Updated
Some nix flake templates
Updated
Updated
Updated
Updated
A web front-end for youtube-dl
Updated
Updated
OS rom for fox32
Updated