My dotfiles
Personal Guix package definitions
A complete Agda formalization of the Kalpis programming language
A partially invertible functional language with locally invertible semantics
Miking MLang and MExpr grammar for tree-sitter
A simple online multiplayer game for Emacs
A 2D skill-based tank combat arena game
A Snake bot trained with a genetic algorithm
A compiler for a simple object-oriented language with LLVM code generation
A brainfuck compiler written in Julia
A pixel graphics shogi game