push-f.com repositories

Name	Description	Idle
cmd50	Some handy command-line tools
config	My personal config files.	2 weeks
geopos.link	Share geographic positions in URI fragments.	4 months
git-grep-exporter	Prometheus metrics for git grep line counts	8 weeks
lex-surf	Source code for lex.surf.	4 months
logformat	logfmt logging for Python	4 months
osm-proposals	Source code for osm-proposals.push-f.com.	3 months
rust-features	Source code for rust-features.push-f.com.	4 months
spec.pub	Redirects to specification publications.	4 months
tastefejl	fork of tomfran's typo theme for Hugo	4 weeks
toml-patch	A command-line tool to apply updates from a JSON file to a TOML file.	15 months
typefaces	Typefaces I've designed	4 weeks
vdf	version diff for Nix	4 months
web-feed-exporter	Prometheus metrics for the most recently published timestamp of web feeds	8 weeks
archive
dynamize	A proc macro to enable trait objects with variable associated types	3 years
html5tokenizer	Fork of html5gum with code span support	3 years
mw-code	A MediaWiki extension for code pages, code actions and code linkification.	3 years
mw-redirect-auth	A MediaWiki extension for logging in with an external identity provider.	3 years
mw-vote	A MediaWiki extension for proposal votes on wiki.openstreetmap.org.	3 years
osmwiki-overpass-import	A script to import data from the Overpass API into wiki.openstreetmap.org.	4 years
pydoc.dev	Consistent API docs for Python inspired by docs.rs.	4 years
quackmark	Comparison of type checkers for Python.	4 years
sputnik	A lightweight layer on top of hyper to facilitate building web applications.	4 years
tools	Some scripts	15 months
uris	Fork of rhymuri with a small bug fix
webcat	netcat for websockets	5 years
contrib
inkstitch	Inkscape extension for machine embroidery design