confignon-static aspects of this cgit's configuration14 months
doomdirmy Doom Emacs configuration
excel2gtfshacky thing to generate Ilztalbahn GTFS
isabelle-utilsattempts at improving isabelle tooling outside jedit8 months
nixfilesmy nixfiles
picarones"next slide please!" as a service14 months
playgroundplace for smaller experiments which may or may not grow into larger things5 months
slightly-better-surveysslightly better web-based surveys than elsewhere (even encrypted!)14 months
tracktraintrack trains on their traintracks
traveltexttravelynx terminal client
walintA linter for workadventure maps
woitbWo ist die Ilztalbahn gerade?
workadventure-nixNix packages and module for workadventure10 months
Isabelle-HoTTtrying to make Isabelle/HoTT work with Isabelle 2021-13 days
almanacpretty-printer for upcoming ical events; fork of months
dhall_rustworking copy forked from
gtfs-books with mdbook support
hedgedocHedgedoc with support for CindyScript
nixpkgsoccasional working copy of nixpkgs14 months
uplcgThe Untitled Programming Language Card Game (with Nix support) sources10 months