toolsSome scripts.13 months
userscriptsMy userscripts.8 weeks
wikidata-botsMy Wikidata bots.7 weeks
Rust apps & utils
gitpadA git web interface with editing and Markdown support.3 months
webcatnetcat for websockets17 months
Rust libraries
dynamizeA proc macro to enable trait objects with variable associated types3 weeks
sputnikA lightweight layer on top of hyper to facilitate building web applications.6 months
OSM projects
osm-proposalsSource code for days
osmwiki-overpass-importA script to import data from the Overpass API into months
MediaWiki extensions
mw-codeA MediaWiki extension for code pages, code actions and code linkification.8 weeks
mw-voteA MediaWiki extension for proposal votes on months
mw-redirect-authA MediaWiki extension for logging in with an external identity provider.4 months
Python projects
pydoc.devConsistent API docs for Python (inspired by months
quackmarkComparison of type checkers for Python.11 months
Forked libraries
urisFork of rhymuri with a small bug fix
html5tokenizerFork of html5gum with code span support