index
NameDescriptionIdle
confignon-static aspects of this cgit's configuration 17 months
doomdirmy Doom Emacs configuration
excel2gtfshacky thing to generate Ilztalbahn GTFS
isabelle-utilsattempts at improving isabelle tooling outside jedit 10 months
mindthegapget information on DB service interruptions
nixfilesmy nixfiles
picarones"next slide please!" as a service 17 months
playgroundplace for smaller experiments which may or may not grow into larger things 8 months
slightly-better-surveysslightly better web-based surveys than elsewhere (even encrypted!) 17 months
tracktraintrack trains on their traintracks
traveltexttravelynx terminal client
walintA linter for workadventure maps
workadventure-nixNix packages and module for workadventure 13 months
Forks
Isabelle-HoTTtrying to make Isabelle/HoTT work with Isabelle 2021-1 3 months
almanacpretty-printer for upcoming ical events; fork of https://gitlab.com/meskio/alman...8 months
dhall_rustworking copy forked from https://github.com/Nadrieril/dhall-rust
gtfs-bookshttps://github.com/MobilityData/GTFS-books with mdbook support
hedgedocHedgedoc with support for CindyScript
nixpkgsoccasional working copy of nixpkgs 17 months
uplcgThe Untitled Programming Language Card Game (with Nix support)
voc-streaming-sitestreaming.media.ccc.de sources 13 months