An Assortment of Stuff
hand-squished into git repos
index
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
3 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-utils
attempts at improving isabelle tooling outside jedit
3 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
3 years
playground
place for smaller experiments which may or may not grow into larger things
18 months
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
3 years
Forks
Isabelle-HoTT
trying to make Isabelle/HoTT work with Isabelle 2021-1
2 years
aeneas
aeneas rust verifier with a hacky Isabelle backend
almanac
pretty-printer for upcoming ical events; fork of https://gitlab.com/meskio/alman...
19 months
avl-verification
Isabelle fork of https://github.com/RaitoBezarius/avl-verification
deploy-rs
forked from https://github.com/serokell/deploy-rs/
12 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
20 months
uplcg
The Untitled Programming Language Card Game (with Nix support)
voc-streaming-site
streaming.media.ccc.de sources
3 years