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