index
NameDescriptionOwnerIdle
configMy personal config files.
Active
spec.pubRedirects to specification publications.16 months
gitpadA git web interface with editing and Markdown support.3 months
osm-proposalsSource code for osm-proposals.push-f.com.3 months
In hibernation
pydoc.devConsistent API docs for Python (inspired by docs.rs).3 years
quackmarkComparison of type checkers for Python.3 years
Archive
toolsSome scripts3 days
webcatnetcat for websockets3 years
dynamizeA proc macro to enable trait objects with variable associated types23 months
osmwiki-overpass-importA script to import data from the Overpass API into wiki.openstreetmap.org.2 years
mw-codeA MediaWiki extension for code pages, code actions and code linkification.2 years
mw-voteA MediaWiki extension for proposal votes on wiki.openstreetmap.org.2 years
mw-redirect-authA MediaWiki extension for logging in with an external identity provider.2 years
urisFork of rhymuri with a small bug fix
html5tokenizerFork of html5gum with code span support14 months
sputnikA lightweight layer on top of hyper to facilitate building web applications.2 years