push-f.com repositories
My various repositories.
index
Name
Description
Owner
Idle
config
My personal config files.
Active
spec.pub
Redirects to specification publications.
16 months
gitpad
A git web interface with editing and Markdown support.
3 months
osm-proposals
Source code for osm-proposals.push-f.com.
3 months
In hibernation
pydoc.dev
Consistent API docs for Python (inspired by docs.rs).
3 years
quackmark
Comparison of type checkers for Python.
3 years
Archive
tools
Some scripts
3 days
webcat
netcat for websockets
3 years
dynamize
A proc macro to enable trait objects with variable associated types
23 months
osmwiki-overpass-import
A script to import data from the Overpass API into wiki.openstreetmap.org.
2 years
mw-code
A MediaWiki extension for code pages, code actions and code linkification.
2 years
mw-vote
A MediaWiki extension for proposal votes on wiki.openstreetmap.org.
2 years
mw-redirect-auth
A MediaWiki extension for logging in with an external identity provider.
2 years
uris
Fork of rhymuri with a small bug fix
html5tokenizer
Fork of html5gum with code span support
14 months
sputnik
A lightweight layer on top of hyper to facilitate building web applications.
2 years