index
NameDescriptionIdle
bahnhof.namesources for the bahnhof.name website
base_keysmashnot to be taken seriously
confignon-static aspects of this cgit's configuration 4 years
conftrackmy own little multi-source configuration library for haskell programs
doomdirmy Doom Emacs configuration
excel2gtfshacky thing to generate Ilztalbahn GTFS
git-annex-remote-remarkable2a slightly-cursed git annex special remote to put files on my eink reader
ilztalbahn-gtfstut tut hier kommt der Schienenbus 🚞
isabelle-utilsattempts at improving isabelle tooling outside jedit 3 years
mindthegapget information on DB service interruptions
nixfilesmy nixfiles
nixqrust thing to automatically edit nixpkgs
ntfy-matrix-botforwarding my monit events via ntfy into matrix
picarones"next slide please!" as a service 4 years
playgroundplace for smaller experiments which may or may not grow into larger things 19 months
showrtprint gtfs realtime feeds on console in human-readable format
slightly-better-surveysslightly better web-based surveys than elsewhere (even encrypted!)
tex-networkspublic transport networks in tikz, forked from https://gitlab.com/ada.loveless/t...
tracktraintrack trains on their traintracks
traveltexttravelynx terminal client
vdv-protocolsVDV protocols (parts of 451, 452, 453 & 454) implemented in Haskell
walintA linter for workadventure maps
workadventure-nixNix packages and module for workadventure 3 years
Forks
Isabelle-HoTTtrying to make Isabelle/HoTT work with Isabelle 2021-1 2 years
aeneasaeneas rust verifier with a hacky Isabelle backend
almanacpretty-printer for upcoming ical events; fork of https://gitlab.com/meskio/alman...20 months
avl-verificationIsabelle fork of https://github.com/RaitoBezarius/avl-verification
deploy-rsforked from https://github.com/serokell/deploy-rs/ 14 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
luxfork of https://github.com/LuxLang/lux for my bookshelf 22 months
uplcgThe Untitled Programming Language Card Game (with Nix support)
voc-streaming-sitestreaming.media.ccc.de sources 3 years