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