An Agda Library for Strictly Monotone Brouwer Trees

A client for Language Server Protocol servers

unclutter your .profile

A static site generator that's just Pandoc and Make

(Finite) multisets in Cubical Agda

NIx Language server, an incremental analysis assistant for writing in Nix.

Nix language server, based on nix libraries [maintainer=@inclyc]

Unobtrusively trim extraneous white-space *ONLY* in lines edited.

Agda as a collaborative multiplayer game

Visualise which gc-roots to delete to free some space in your nix store

Check for unused code in an Agda project.

Slides for my talk about Recursion Schemes

TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.

Hakyll + Nix starter template

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

A simple Emacs major mode for editing Wikibooks' MediaWiki. This is optimised for https://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks

formally verified category theory library

My NixOS configuration and nixpkgs overlays

Minetest mod inspired by the Hunger Games.

Pure Nix flake utility functions [maintainer=@zimbatm]

NixOS configs

Isomorphic Reasoning: Counting with Types

Your project's nix-env

Google Drive client for the commandline

Nix Packages collection & NixOS

Hypertypes - generic programming for heterogeneous recursive types

The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"

Nix-based incremental build tool for Haskell projects