githug

OS rom for fox32

Updated 2024-02-08 12:45:19 +01:00

Updated 2023-07-23 21:06:16 +02:00

A web front-end for youtube-dl

Updated 2022-10-08 14:47:45 +02:00

Updated 2023-10-11 20:20:37 +02:00

Updated 2023-10-12 12:52:07 +02:00

Updated 2023-12-21 14:00:03 +01:00

Some nix flake templates

Updated 2024-04-08 21:06:25 +02:00

A vm designed to run functional languages. Unfinished and (currently) abandoned.

Updated 2022-10-08 14:51:37 +02:00

the sources for my website

Updated 2024-01-14 21:07:47 +01:00

psDeriver is a file which lets one define postscript derivations simply.

Updated 2023-07-23 17:48:30 +02:00

A typechecker for intensional MLTT without elaboration.

Updated 2022-10-16 19:58:46 +02:00

my nixos configuration

Updated 2024-04-19 15:24:09 +02:00

An application for viewing album art of the song currently playing in mpd

Updated 2022-10-08 14:49:33 +02:00

En databas för maträtter och recept.

Updated 2023-08-16 11:41:57 +02:00

A tui client for browsing yts.mx

Updated 2023-07-25 11:58:02 +02:00

Updated 2024-03-12 11:18:41 +01:00

fork of kakoune (nix, some minor patches)

Updated 2024-02-08 18:23:07 +01:00

Updated 2023-12-29 23:28:47 +01:00

A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.

Updated 2023-02-05 17:05:19 +01:00

Home manager configuration and dotfiles

Updated 2024-03-30 21:49:28 +01:00