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