Updated 2024-06-10 22:14:46 +02:00
Updated 2024-06-21 17:31:34 +02:00
Updated 2024-06-08 15:26:05 +02:00
OS rom for fox32
Updated 2024-06-08 15:08:49 +02:00
Updated 2024-06-08 15:03:55 +02:00
Updated 2024-06-08 15:10:55 +02:00
Updated 2024-06-08 15:47:13 +02:00
Updated 2024-06-21 15:07:17 +02:00
Some nix flake templates
Updated 2024-06-08 22:41:52 +02:00
Updated 2024-06-08 15:04:59 +02:00
Updated 2024-06-08 15:24:15 +02:00
Updated 2024-06-08 15:14:49 +02:00
fork of kakoune (nix, some minor patches)
Updated 2024-06-12 21:56:37 +02:00
Home manager configuration and dotfiles
Updated 2024-07-13 01:17:35 +02:00
HTTP server library in Agda
Updated 2024-06-08 15:04:27 +02:00