Crate

proptest

Browse Rust repositories that depend on proptest.

290
Repositories
98%
Actively maintained
280
Updated ≤ 30 days
1.0M
Total stars
250
Owners

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

Browse 290 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 290 repositories · ranked by stars · 280 pushed in the last 30 days
RuView90kactive

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

qdrant34kactive

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.7kactive

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

lance6.9kactive

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.7kactive

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.3kactive

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.

dora3.9kactive

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