Property-based testing for Rust, built on Hypothesis
☆289Jul 20, 2026Updated this 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:
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 2 weeks ago
- An agent skill for writing Hegel tests☆62Jun 12, 2026Updated last month
- Property-based testing for web and terminal UIs☆1,348Jul 3, 2026Updated 2 weeks ago
- AI Skills for Antithesis Users☆78Updated this week
- Antithesis SDK for Rust☆35Jul 11, 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.
- Magical Deterministic Simulator for distributed systems in Rust.☆1,132Feb 16, 2026Updated 5 months ago
- Graph-aware monorepo orchestration for Rust workspaces☆215Updated this week
- ☆47Jul 9, 2026Updated last week
- Property-based testing for Go☆71Updated this week
- A minimal, flat file archive encoding/decoding library for Rust☆39Jan 14, 2026Updated 6 months ago
- Antithesis SDK for Python☆18May 8, 2026Updated 2 months ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆17Jun 9, 2026Updated last month
- Ergonomic Type Diffs☆75May 15, 2026Updated 2 months ago
- Analyze Rust crates without touching compiler internals☆385Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆296Updated this week
- Hypothesis-like property testing for Rust☆2,195May 27, 2026Updated last month
- ☆82Jan 27, 2026Updated 5 months ago
- Shuttle is a library for testing concurrent Rust code☆1,035Jul 9, 2026Updated last week
- In-process, multi master, distributed database☆21Jun 18, 2026Updated last month
- A thread-per-core async Rust runtime with IOCP/io_uring/polling.☆1,810Updated this week
- Maps where keys are borrowed from values.☆399Updated this week
- Automated property based testing for Rust (with shrinking).☆2,773Apr 3, 2026Updated 3 months ago
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆2,555Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Add hardship to your tests☆1,221Updated this week
- A CLI for the Antithesis platform☆18Updated this week
- A cloud native embedded storage engine built on object storage.☆3,213Updated this week
- Alternative future adapters that provide cancel safety.☆86Updated this week
- Rust implementation of protobuf with editions support, JSON serialization, and zero-copy views☆840Updated this week
- 🗻 Log-structured, embeddable key-value storage engine written in Rust☆2,224Updated this week
- A verification toolchain for Rust programs☆867Updated this week
- Prevent cargo installs without --locked☆16Mar 31, 2026Updated 3 months ago
- A utility library for working with trait objects☆17Apr 20, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Human-friendly indexed collections☆57May 2, 2026Updated 2 months ago
- Hybrid in-memory and disk cache in Rust☆1,777Jul 11, 2026Updated last week
- A datetime library for Rust that encourages you to jump into the pit of success.☆2,777Updated this week
- Concurrency permutation testing tool for Rust.☆2,758Feb 20, 2026Updated 5 months ago
- Kani Rust Verifier☆3,235Updated this week
- A Rust runtime for building self-organizing, leaderless distributed systems.☆46Apr 18, 2026Updated 3 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,537Updated this week