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