githug

rachel/ nixos-config

Nix 0 0

my nixos configuration

Updated 2024-07-26 18:23:17 +02:00

xenia/ home

Nix 0 0

Home manager configuration and dotfiles

Updated 2024-07-26 12:01:21 +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

xenia/ ansi-utils

Python 0 0

Updated 2024-06-08 15:24:15 +02:00

xenia/ fox32asm

Rust 0 0

Fork of https://github.com/fox32-arch/fox32asm, mirrored on github at https://github.com/xeniagda/fox32asm-mirror

Updated 2024-06-08 15:16:51 +02:00

xenia/ fox32

C 0 0

Fork of https://github.com/fox32-arch/fox32, mirrored at https://github.com/xeniagda/fox32-mirror

Updated 2024-06-08 15:15:01 +02:00