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

Inverted command line time tracking.

Rust implementation of "Ray Tracing in One Weekend"

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

HNSW approximate-nearest-neighbour vector index in Rust from scratch: heuristic neighbour selection, filtered search, deletes, checksummed format, CLI + axum HTTP server, recall gates, proptest, criterion

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

A solona token lending protocol.

Compiler and bytecode VM for a small functional language, written in Rust.

Property testing library based on (unstable) coroutines

Embedded time-series storage engine in Rust: WAL, LSM segments with Gorilla compression, tag index, retention, downsampling and an InfluxQL-style query language

Thai translation of the official Proptest book

LSM-tree storage engine in Rust: WAL, memtable, SSTables with bloom filters, leveled compaction; crash-tested at every write point

AI bug hunter whose every report is a failing test you can run: LLM-written property-based tests, deterministic repros, independent review. Python · JS/TS · Go · Rust · Java

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