My NixOS configuration collection

Agda library for formalizing knights & knaves puzzles

[WIP] An experimental functional programming language

[WIP] A toy kernel written in Zig