Property-based testing for Rust, built on Hypothesis
☆402Oct 19, 2026Updated last week
Alternatives and similar repositories for hegel-rust
Users that are interested in hegel-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An agent skill for writing Hegel tests☆85Oct 13, 2026Updated 2 weeks ago
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 3 months ago
- Property-based testing for web and terminal UIs☆1,572Oct 23, 2026Updated last week
- Property-based testing for TypeScript, built on Hypothesis☆78Oct 22, 2026Updated last week
- Magical Deterministic Simulator for distributed systems in Rust.☆1,180Feb 16, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Antithesis SDK for Rust☆37Aug 28, 2026Updated 2 months ago
- Shuttle is a library for testing concurrent Rust code☆1,108Updated this week
- Add hardship to your tests☆1,288Updated this week
- ☆80Jul 23, 2026Updated 3 months ago
- Tools for post-mortem debugging of the tokio runtime☆88Oct 24, 2026Updated last week
- Hypothesis-like property testing for Rust☆2,272Oct 10, 2026Updated 2 weeks ago
- Property-based testing for Go☆107Updated this week
- Verified Rust for low-level systems code☆3,512Updated this week
- Ergonomic Type Diffs☆79Sep 27, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- property testing and verification front-end for Rust☆265Oct 3, 2026Updated 3 weeks ago
- A model checker for Rust programs.☆3,614Updated this week
- Automated property based testing for Rust (with shrinking).☆2,803Apr 3, 2026Updated 6 months ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last month
- AI Skills for Antithesis Users☆303Updated this week
- Analyze Rust crates without touching compiler internals☆466Updated this week
- The Rust Monorepo Engine☆232Oct 16, 2026Updated 2 weeks ago
- A thread-per-core async Rust runtime with IOCP/io_uring/polling.☆1,938Updated this week
- A minimal, flat file archive encoding/decoding library for Rust☆44Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Rust framework for correct and performant distributed systems☆1,468Updated this week
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆2,589Updated this week
- A CLI for the Antithesis platform☆32Updated this week
- Antithesis SDK for Python☆19Sep 29, 2026Updated last month
- Inject bugs and see if your tests catch them!☆1,368Oct 19, 2026Updated last week
- A snapshot testing library for rust☆2,981Updated this week
- A datetime library for Rust that encourages you to jump into the pit of success.☆2,967Updated this week
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆244Updated this week
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆338Oct 23, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆83Jan 27, 2026Updated 9 months ago
- Concurrency permutation testing tool for Rust.☆2,856Feb 20, 2026Updated 8 months ago
- A cloud native embedded storage engine built on object storage.☆3,603Updated this week
- ☆52Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,896Updated this week
- Property-based testing for C++, built on Hypothesis☆22Oct 22, 2026Updated last week
- Always-on profiler for Rust designed for production☆600Updated this week