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