proptest

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Rubik's Cube simulator in Rust.

Lock-free, zero-alloc L2 order book core for Binance, Bybit, and Hyperliquid. SPSC ring buffer (Disruptor pattern), cache-line-aligned book with compile-time size asserts, loom-verified concurrency, property-tested book mechanics, bit-exact capture/replay, and Prometheus-text health counters. Not no_std, built on std. Rust.

Graphs backed by roaring bitmaps

Rust implementation of "Ray Tracing in One Weekend"

Inverted command line time tracking.

Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest

Custom-derive for the Arbitrary trait of proptest.

Bug finding challenge for all of the tools around

A port of Rust's `proptest` property-based testing library to Zig

A solona token lending protocol.

Trace mutation fuzzer for Hekate ZK programs and chiplets. Tampers your valid trace, runs preflight checks, panics if the tamper goes undetected.

Property testing library based on (unstable) coroutines

Algorithm-aware C-to-Rust translation. One command, local LLM, five mandatory correctness gates.