Blog

Apparently I have a blog here. I'm as surprised as you are!

Entries:

1. 2022-05-22 Hacking on Isabelle/ML
2. 2021-11-13 Are Nix Expressions Pacman-Complete?

Things

Sometimes I do things. Sometimes I also don't, but some of those that I did are listed here:

• ilztal.live, displaying timetables of the Ilztalbahn.
• walint, a linter checking workadventure maps for common mistakes and errors.
• gtfs.stuebinm.eu, a website running Google's GTFS validator so people won't have to fiddle around with python versions and packages each time.
• isabelle-utils, a little set of command line tools to make dealing with Isabelle theory files easier.
• traveltext, a small command-line client for travelynx

I generally try to keep these away from GitHub or similar platforms; instead I host the code for most of them on my own instance of cgit. Unfortunately that also means there's no obvious way to e.g. create an issue on one of my repositories if you've found a bug.

Tbh I'm still trying to figure out what a good alternative might look like; in the meantime, feel free to ping me (via mail or on the fediverse) for issues/bugs, and I'll also be delighted to receive patches either directly via mail or as a git request-pull.