my nixos configuration
Updated 2024-10-23 14:48:06 +02:00
Updated 2024-10-13 22:45:01 +02:00
Home manager configuration and dotfiles
Updated 2024-10-04 21:35:01 +02:00
Updated 2024-09-02 09:39:25 +02:00
Updated 2024-07-18 21:40:43 +02:00
Updated 2024-07-08 18:53:35 +02:00
Updated 2024-06-21 17:31:34 +02:00
Updated 2024-06-21 15:07:17 +02:00
fork of kakoune (nix, some minor patches)
Updated 2024-06-12 21:56:37 +02:00
Updated 2024-06-10 22:14:46 +02:00
Some nix flake templates
Updated 2024-06-08 22:41:52 +02:00
Updated 2024-06-08 16:52:36 +02:00
Updated 2024-06-08 15:47:13 +02:00
A literate formalization of categories with families in cubical agda.
Updated 2024-06-08 15:41:34 +02:00
A vm designed to run functional languages. Unfinished and (currently) abandoned.
Updated 2024-06-08 15:39:01 +02:00
En databas för maträtter och recept.
Updated 2024-06-08 15:32:10 +02:00
Updated 2024-06-08 15:26:05 +02:00
psDeriver is a file which lets one define postscript derivations simply.
Updated 2024-06-08 15:24:29 +02:00
Updated 2024-06-08 15:24:15 +02:00