Updated 2024-06-08 15:11:57 +02:00
A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.
Updated 2024-06-08 15:11:36 +02:00
Updated 2024-06-08 15:10:55 +02:00
A tui client for browsing yts.mx
Updated 2024-06-08 15:10:53 +02:00
Updated 2024-06-08 15:09:19 +02:00
OS rom for fox32
Updated 2024-06-08 15:08:49 +02:00
Updated 2024-06-08 15:07:11 +02:00
A hindley-milner typechecker with inductive types.
Updated 2024-06-08 15:07:03 +02:00
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated 2024-06-08 15:06:32 +02:00
Updated 2024-06-08 15:04:59 +02:00
An application for viewing album art of the song currently playing in mpd
Updated 2024-06-08 15:04:58 +02:00
the sources for my website
Updated 2024-06-08 15:04:36 +02:00
A typechecker for intensional MLTT without elaboration.
Updated 2024-06-08 15:04:31 +02:00
HTTP server library in Agda
Updated 2024-06-08 15:04:27 +02:00
Updated 2024-06-08 15:03:55 +02:00