Crate

proptest

Browse Rust repositories that depend on proptest.

291
Repositories
93%
Actively maintained
272
Updated ≤ 30 days
1.0M
Total stars
251
Owners

Counted from the Cargo.toml manifests of the 291 indexed repositories that declare proptest as a dependency — not download counts. Dependency data last verified 2026-09-16.

Browse 291 repositories using proptest in Repos →
Often used with

Crates that show up unusually often in proptest projects. The most distinctive pairings rank first — crates these projects use far more than the average indexed Rust project does, not just crates that are popular everywhere. Each percentage is the share of proptest projects that also use it.

Used by these organizations
50 of 291 repositories · ranked by stars · 272 pushed in the last 30 days
RuView95kactive

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

qdrant35kactive

Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

sui7.8kactive

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

lance7.1kactive

Open Lakehouse Format for Multimodal AI. Convert from Parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, and PyTorch with more integrations coming..

Daft5.8kactive

High-performance data engine for AI and multimodal workloads. Process images, audio, video, and structured data at any scale

readyset5.3kactive

Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.

fallow4.6kactive

Codebase intelligence for TypeScript and JavaScript. Free static layer: unused code, duplication, circular deps, complexity hotspots, architecture boundaries. Optional paid runtime layer: hot-path review and cold-path deletion evidence from real production traffic. Rust-native, sub-second, zero-config framework support.

dora4.0kactive

DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dataflow capabilities. Applications are modeled as directed graphs, also referred to as pipelines.

← Browse all repos