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