push-f.com repositories

Name	Description	Idle
tools	Some scripts.	3 years
config	My personal config files.	11 months
Websites
spec.pub	Redirects to specification publications.	14 months
Rust apps & utils
gitpad-legacy	A git web interface with editing and Markdown support.	4 weeks
webcat	netcat for websockets	3 years
Rust libraries
dynamize	A proc macro to enable trait objects with variable associated types	21 months
sputnik	A lightweight layer on top of hyper to facilitate building web applications.	2 years
OSM projects
osm-proposals	Source code for osm-proposals.push-f.com.	5 weeks
osmwiki-overpass-import	A script to import data from the Overpass API into wiki.openstreetmap.org.	2 years
MediaWiki extensions
mw-code	A MediaWiki extension for code pages, code actions and code linkification.	22 months
mw-vote	A MediaWiki extension for proposal votes on wiki.openstreetmap.org.	24 months
mw-redirect-auth	A MediaWiki extension for logging in with an external identity provider.	24 months
Python projects
pydoc.dev	Consistent API docs for Python (inspired by docs.rs).	3 years
quackmark	Comparison of type checkers for Python.	3 years
Forked libraries
uris	Fork of rhymuri with a small bug fix
html5tokenizer	Fork of html5gum with code span support	12 months