- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
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 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
psDeriver is a file which lets one define postscript derivations simply.
Updated
my nixos configuration
Updated
Updated