githug

my nixos configuration

Updated 2023-12-01 22:45:12 +01:00

Home manager configuration and dotfiles

Updated 2023-11-14 22:23:46 +01:00

Updated 2023-11-14 21:37:58 +01:00

Updated 2023-11-11 23:36:36 +01:00

Updated 2023-11-09 14:18:46 +01:00

the sources for my website

Updated 2023-10-27 20:35:24 +02:00

Some nix flake templates

Updated 2023-10-15 12:36:30 +02:00

fork of kakoune (nix, some minor patches)

Updated 2023-10-12 14:11:50 +02:00

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

Updated 2023-10-12 12:33:01 +02:00

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

HTTP server library in Agda

Updated 2023-09-09 23:02:41 +02:00

En databas för maträtter och recept.

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

Updated 2023-08-15 10:13:59 +02:00

Updated 2023-07-25 13:45:22 +02:00

A tui client for browsing yts.mx

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

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

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

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

Updated 2023-07-19 23:14:07 +02: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