sigil
Star
Fork
Watch

Commits on main

Alex Wykoff
Add symbol mode: Wingdings and Webdings alphabets, integer-seeded shuffle
committed
John Servil
Play with Sigil in the browser and toggle hashes on ordinary pages
committed
John Servil
Probe static AArch64 byte proofs with a callable assembly primitive
committed
John Servil
Make dynamic per-operation assurance an explicit goal for Bob
committed
John Servil
Record Bob's property checklist and reliance matrices
committed
John Servil
Prove the layout contract and AN-code error guarantees in Lean
committed
John Servil
Give Bob kernel-checked answers and an explicit proof coverage ledger
committed
John Servil
Lean: decoding inverts encoding, proved
committed
John Servil
Rust: base conversion three digits at a time
committed
John Servil
Rust: the data's bytes are the number's words
committed
John Servil
Rust: compute each length's layout once
committed
John Servil
The check is an AN code: the data times a prime K larger than N
committed
John Servil
Tell callers with structured data to jumble it before encoding
committed
John Servil
Document why Sigil writes the data in order, unjumbled
committed
John Servil
Remove the jumbling; a specification in Lean
committed
John Servil
Licences: smalloc's four, in place of CC0 and Apache-2.0
committed
John Servil
Rust: a benchmark, and encode and decode twice as fast
committed
John Servil
Sigil: no two characters alike, jumbling, and a check that picks the right reading
committed
John Servil
base345: digits and lowercase Latin, Greek and Cyrillic letters, decoded in either case; one script computes the alphabet
committed
John Servil
base1160: Ethiopic and Canadian syllabics letters, the term codeword, the README
committed
John Servil
base11585, work in progress: the alphabet's rules, the encoding in Python, TypeScript and Rust, test vectors
committed