Crate

proptest

Browse Rust repositories that depend on proptest.

232
Repositories
1.4M
Total stars
355
Active
311
Owners
Browse 374 repositories using proptest in Repos →
Often used with
Used by these organizations
50 of 374 repositories · ranked by stars
zed85kactive

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

RuView72kactive

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

⑂ 9.6k193
hyperswitch43kactive

Open source, composable payments platform | PCI compliant | SaaS and Self-host options | Enables connectivity to multiple payment, payout, fraud, vault and tokenization providers | Uplifts authorization with intelligent routing and revenue recovery | Reduce payment processing costs with cost observability | Reduces payment ops with reconciliation

firecracker35kactive

Secure and fast microVMs for serverless computing.

⑂ 2.4k89
tokio32kactive

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

⑂ 3.1k433
qdrant32kactive

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/

jj30kactive

A Git-compatible VCS that is both simple and powerful

⑂ 1.1k1.1k
rustfs29kactive

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platforms such as MinIO and Ceph.

nautilus_trader23kactive

Production-grade Rust-native trading engine with deterministic event-driven architecture

turso19kactive

Turso is an in-process SQL database, compatible with SQLite.

⑂ 1.0k695
wasmtime18kactive

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

⑂ 1.7k840
foundry10kactive

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

⑂ 2.5k506
databend9.3kactive

Data Agent Ready Warehouse : One for Analytics, Search, AI, Python Sandbox. — rebuilt from scratch. Unified architecture on your S3.

fff7.8kactive

The fastest and the most accurate file search toolkit for AI agents, Neovim, Rust, C, and NodeJS

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

devenv7.0kactive

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

lance6.6kactive

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

cloud-hypervisor5.8kactive

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.

⑂ 678218
loro5.7kactive

Make your JSON data collaborative and version-controlled with CRDTs

⑂ 15036
← Browse all repos