githug

rachel/ rachel.cafe

HTML 0 0

the sources for my website

Updated 2024-11-20 20:44:35 +01:00

xenia/ home

Nix 0 0

Home manager configuration and dotfiles

Updated 2024-11-19 13:10:23 +01:00

rachel/ nixos-config

Nix 0 0

my nixos configuration

Updated 2024-11-05 16:17:17 +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

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

xenia/ kakoune

C++ 0 0

fork of kakoune (nix, some minor patches)

Updated 2024-06-12 21:56:37 +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