An Assortment of Stuff
hand-squished into git repos
index
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