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