https://alix.trieu.dev
Experimenting with bare metal programming on CHERIoT
Fast numeric to- and from- string conversion for OCaml.
Implementation of https://implement-dns.wizardzines.com/ in Rust
Using egg to bitslice S-boxes.
Coq formalization of PATRICIA trees