Repositories Users Organizations
Filter
Sort
rachel/ nixos-config
Nix 0 0
my nixos configuration
Updated 2025-01-10 01:43:55 +01:00
xenia/ home
Nix 0 0
Home manager configuration and dotfiles
Updated 2024-12-21 01:05:41 +01:00
xenia/ kakoune
C++ 0 0
fork of kakoune (nix, some minor patches)
Updated 2024-12-04 20:07:41 +01:00
rachel/ rachel.cafe
HTML 0 0
the sources for my website
Updated 2024-11-20 20:44:35 +01:00
rachel/ primes
Rust 0 0
Updated 2024-10-13 22:45:01 +02:00
xenchel/ plant
Rust 0 0
Updated 2024-09-02 09:39:25 +02:00
rachel/ blog-vue
Vue 0 0
Updated 2024-07-18 21:40:43 +02:00
rachel/ forsh
Shell 0 0
Updated 2024-07-08 18:53:35 +02:00
rachel/ nixos-server
Nix 0 0
Updated 2024-06-21 17:31:34 +02:00
xenia/ kblayouts
Python 0 0
Updated 2024-06-21 15:07:17 +02:00
rachel/ gecco
Haskell 0 0
Updated 2024-06-10 22:14:46 +02:00
xenchel/ templates
Python 0 0
Some nix flake templates
Updated 2024-06-08 22:41:52 +02:00
xenia/ xen-garden
TypeScript 0 0
Updated 2024-06-08 16:52:36 +02:00
xenia/ tree-sitters
C 0 0
Updated 2024-06-08 15:47:13 +02:00
rachel/ cwfs
0 0
A literate formalization of categories with families in cubical agda.
Updated 2024-06-08 15:41:34 +02:00
rachel/ secd
C 0 0
A vm designed to run functional languages. Unfinished and (currently) abandoned.
Updated 2024-06-08 15:39:01 +02:00
xenchel/ matabas
Haskell 0 0
En databas för maträtter och recept.
Updated 2024-06-08 15:32:10 +02:00
xenia/ fox-tools
C 0 0
Fork of https://github.com/fox32-arch/tools, mirrored at https://github.com/xeniagda/fox-tools-mirror
Updated 2024-06-08 15:28:37 +02:00
rachel/ eyezoom
Shell 0 0
Updated 2024-06-08 15:26:05 +02:00
rachel/ psDeriver
Nix 0 0
psDeriver is a file which lets one define postscript derivations simply.
Updated 2024-06-08 15:24:29 +02:00