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