CLI tool and library for verifying provably fair games (baccarat, etc.).
Conformal prediction with formal verification: CPD, PCP, streaming calibration, and Lean4 proofs
NEAR Simulator & cross-contract testing library
Prototype core poker library.
Rust bindings for the Listen Notes Podcast API