Coding

DevTools

• visimp, a simple and modular Neovim configuration.
• Reddish Fox, a Lua colortheme for Neovim based on Niko Humalamäki’s “Redish”, which is written in Vimscript.

Formalisations

• Higher Inductive Types via Impredicative Encodings in Cubical Agda (my M.Sc. thesis).

Parsing

• tree-sitter-prolog, a Tree-sitter grammar for Prolog and its dialects.

Typesetting

• scribus-writer.lua, a custom Pandoc writer for Scribus documents;
• color-my-agda, a Typst package for Agda code highlighting.