my nixos configuration

Updated 2024-03-28 16:22:05 +01:00

Home manager configuration and dotfiles

Updated 2024-03-23 20:28:44 +01:00

Updated 2024-03-19 20:23:36 +01:00

Some nix flake templates

Updated 2024-03-16 23:42:41 +01: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

OS rom for fox32

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

Updated 2024-01-21 23:00:12 +01:00

the sources for my website

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

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

Updated 2023-12-21 14:00:03 +01: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