no_std IEEE 754-2019 Decimal128 for embedded use, with Kani-verified properties
Rust library and associated CLI program to export an Obsidian vault to regular Markdown.
Concurrent multi-writer hash-map using trie
A greybox (coverage) fuzzer for Noir programs
Persistent immutable array