A backend-agnostic crate implementing the CKKS FHE scheme
Computable real numbers with guaranteed correctness via interval refinement
Equivalence predicate that can handle cyclic, shared, and very-deep graphs.
Parser for Syncat Stylesheets.
Pure-Rust VP9 codec — orphan-rebuild scaffold pending clean-room re-implementation.
🕰️ A visual TUI for browsing Git reflog and restoring reachable local history
An implementation of session types in Rust
A centralized daemon that caches shell state (git, battery, hostname, etc.) so every consumer reads from one fast cache instead of independently forking shells
Client library for querying the beachcomber (comb) shell state daemon
Pure Rust implementation of Cardano cryptographic primitives (VRF, KES, DSIGN, Hash) with 100% compatibility with cardano-node
(Namada fork) Sparse merkle tree implement in rust
Sparse merkle tree (restricted version) implement in rust