An Assortment of Stuff

Name	Description	Idle
config	non-static aspects of this cgit's configuration	14 months
doomdir	my Doom Emacs configuration
excel2gtfs	hacky thing to generate Ilztalbahn GTFS
isabelle-utils	attempts at improving isabelle tooling outside jedit	8 months
nixfiles	my nixfiles
picarones	"next slide please!" as a service	14 months
playground	place for smaller experiments which may or may not grow into larger things	5 months
slightly-better-surveys	slightly better web-based surveys than elsewhere (even encrypted!)	14 months
tracktrain	track trains on their traintracks
traveltext	travelynx terminal client
walint	A linter for workadventure maps
woitb	Wo ist die Ilztalbahn gerade? ilztal.live
workadventure-nix	Nix packages and module for workadventure	10 months
Forks
Isabelle-HoTT	trying to make Isabelle/HoTT work with Isabelle 2021-1	3 days
almanac	pretty-printer for upcoming ical events; fork of https://gitlab.com/meskio/alman...	5 months
dhall_rust	working copy forked from https://github.com/Nadrieril/dhall-rust
gtfs-books	https://github.com/MobilityData/GTFS-books with mdbook support
hedgedoc	Hedgedoc with support for CindyScript
nixpkgs	occasional working copy of nixpkgs	14 months
uplcg	The Untitled Programming Language Card Game (with Nix support)
voc-streaming-site	streaming.media.ccc.de sources	10 months