push-f.com repositories

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