List all projects
Project Description Last Change
remote-dom-vm Efficiently render to DOM from a worker (currently incomplete and abandoned) 3 weeks ago
tesid TESID: Textualised Encrypted Sequential Identifiers 10 months ago
Meta
gitweb My tweaks to gitweb as used on this site 14 months ago
Miscellaneous
crev-proofs Crev code review proofs 14 months ago
Rust crates
anymap A safe and convenient store for one value of each type 15 months ago
human-string-filler A tiny template language for human-friendly string substitutions 16 months ago
sanitise-file-name An unusually flexible and efficient file name sanitiser 16 months ago
symlink Create symlinks in a cross-platform manner 16 months ago
u-plus Pretty Unicode code point literals 14 months ago
verhoeff The Verhoeff algorithm, for number checksums 16 months ago