[WIP] A toy kernel written in Zig

Agda library for formalizing knights & knaves puzzles

[WIP] An experimental functional programming language

My NixOS configuration collection