push-f.com repositories
My various repositories.
index
Name
Description
Owner
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