Mathlib search tool

A LaTeX template for a basic DFG (Deutsche Forschungsgemeinschaft, German Research Foundation) grant proposal.

convert between PCRE, Emacs and rx regexp syntax

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

Make Zotero effective for us LaTeX holdouts

Typed DSLs for sorting

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,@Aleksanaa]

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