my nixos configuration
Updated
Some nix flake templates
Updated
Home manager configuration and dotfiles
Updated
Updated
Fork of https://github.com/fox32-arch/fox32, mirrored at https://github.com/xeniagda/fox32-mirror
Updated
Updated
Fork of https://github.com/fox32-arch/fox32asm, mirrored on github at https://github.com/xeniagda/fox32asm-mirror
Updated
Fork of https://github.com/fox32-arch/tools, mirrored at https://github.com/xeniagda/fox-tools-mirror
Updated
fork of kakoune (nix, some minor patches)
Updated
OS rom for fox32
Updated
Fork of https://github.com/fox32-arch/fox32os, mirrored at https://github.com/xeniagda/fox32os-mirror
Updated
Fork of https://github.com/fox32-arch/fox32rom/, mirrored at https://github.com/xeniagda/fox32rom-mirror/
Updated
Updated
the sources for my website
Updated
Updated
Updated
Updated
Updated
Updated
HTTP server library in Agda
Updated