Coding

Development Tools

• 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.

Mechanisations

• 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.

Templates

• illc-mol-thesis, the official Typst thesis template for Master of Logic students at the ILLC.
• syddansk-lektion, an unofficial Touying port of Southern Denmark University’s slideshow template.

Typesetting

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

Web

• nemtilmeld-rss, an unofficial gateway from NemTilmeld’s XML to RSS.