A vm designed to run functional languages. Unfinished and (currently) abandoned.
Updated
An application for viewing album art of the song currently playing in mpd
Updated
A web front-end for youtube-dl
Updated
A tui client for browsing yts.mx
Updated
A hindley-milner typechecker with inductive types.
Updated
the sources for my website
Updated
A typechecker for intensional MLTT without elaboration.
Updated
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated
A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.
Updated
A literate formalization of categories with families in cubical agda.
Updated
Updated
Updated
Updated
psDeriver is a file which lets one define postscript derivations simply.
Updated
my nixos configuration
Updated
Updated
En databas för maträtter och recept.
Updated
HTTP server library in Agda
Updated
Home manager configuration and dotfiles
Updated
fork of kakoune (nix, some minor patches)
Updated