push-f.com repositories
My various repositories.
index
Name
Description
Owner
Idle
tools
Some scripts.
15 months
userscripts
My userscripts.
4 months
wikidata-bots
My Wikidata bots.
4 months
Rust apps & utils
gitpad
A git web interface with editing and Markdown support.
5 months
webcat
netcat for websockets
18 months
Rust libraries
dynamize
A proc macro to enable trait objects with variable associated types
3 months
sputnik
A lightweight layer on top of hyper to facilitate building web applications.
8 months
OSM projects
osm-proposals
Source code for osm-proposals.push-f.com.
2 months
osmwiki-overpass-import
A script to import data from the Overpass API into wiki.openstreetmap.org.
9 months
MediaWiki extensions
mw-code
A MediaWiki extension for code pages, code actions and code linkification.
4 months
mw-vote
A MediaWiki extension for proposal votes on wiki.openstreetmap.org.
5 months
mw-redirect-auth
A MediaWiki extension for logging in with an external identity provider.
5 months
Python projects
pydoc.dev
Consistent API docs for Python (inspired by docs.rs).
13 months
quackmark
Comparison of type checkers for Python.
13 months
Forked libraries
uris
Fork of rhymuri with a small bug fix
html5tokenizer
Fork of html5gum with code span support