An Assortment of Stuff

Name	Description	Idle
bahnhof.name	sources for the bahnhof.name website
base_keysmash	not to be taken seriously
config	non-static aspects of this cgit's configuration	4 years
conftrack	my own little multi-source configuration library for haskell programs
doomdir	my Doom Emacs configuration
excel2gtfs	hacky thing to generate Ilztalbahn GTFS
git-annex-remote-remarkable2	a slightly-cursed git annex special remote to put files on my eink reader
ilztalbahn-gtfs	tut tut hier kommt der Schienenbus 🚞
isabelle-snippets	Isabelle LaTeX snippets, in Isabelle
isabelle-utils	attempts at improving isabelle tooling outside jedit	4 years
mindthegap	get information on DB service interruptions
nixfiles	my nixfiles
nixq	rust thing to automatically edit nixpkgs
ntfy-matrix-bot	forwarding my monit events via ntfy into matrix
picarones	"next slide please!" as a service	4 years
playground	place for smaller experiments which may or may not grow into larger things	2 years
showrt	print gtfs realtime feeds on console in human-readable format
slightly-better-surveys	slightly better web-based surveys than elsewhere (even encrypted!)
tex-networks	public transport networks in tikz, forked from https://gitlab.com/ada.loveless/t...
tracktrain	track trains on their traintracks
traveltext	travelynx terminal client
vdv-protocols	VDV protocols (parts of 451, 452, 453 & 454) implemented in Haskell
walint	A linter for workadventure maps
workadventure-nix	Nix packages and module for workadventure	4 years
Forks
Isabelle-HoTT	trying to make Isabelle/HoTT work with Isabelle 2021-1	3 years
aeneas	aeneas rust verifier with a hacky Isabelle backend
almanac	pretty-printer for upcoming ical events; fork of https://gitlab.com/meskio/alman...	2 years
avl-verification	Isabelle fork of https://github.com/RaitoBezarius/avl-verification
deploy-rs	forked from https://github.com/serokell/deploy-rs/	21 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
lux	fork of https://github.com/LuxLang/lux for my bookshelf	2 years
uplcg	The Untitled Programming Language Card Game (with Nix support)
voc-streaming-site	streaming.media.ccc.de sources	4 years