index
NameDescriptionOwnerIdle
toolsSome scripts.3 years
configMy personal config files.11 months
Websites
spec.pubRedirects to specification publications.14 months
Rust apps & utils
gitpad-legacyA git web interface with editing and Markdown support.4 weeks
webcatnetcat for websockets3 years
Rust libraries
dynamizeA proc macro to enable trait objects with variable associated types21 months
sputnikA lightweight layer on top of hyper to facilitate building web applications.2 years
OSM projects
osm-proposalsSource code for osm-proposals.push-f.com.5 weeks
osmwiki-overpass-importA script to import data from the Overpass API into wiki.openstreetmap.org.2 years
MediaWiki extensions
mw-codeA MediaWiki extension for code pages, code actions and code linkification.22 months
mw-voteA MediaWiki extension for proposal votes on wiki.openstreetmap.org.24 months
mw-redirect-authA MediaWiki extension for logging in with an external identity provider.24 months
Python projects
pydoc.devConsistent API docs for Python (inspired by docs.rs).3 years
quackmarkComparison of type checkers for Python.3 years
Forked libraries
urisFork of rhymuri with a small bug fix
html5tokenizerFork of html5gum with code span support12 months