BurntSushi / quickcheckLinks
Automated property based testing for Rust (with shrinking).
☆2,662Updated 7 months ago
Alternatives and similar repositories for quickcheck
Users that are interested in quickcheck are comparing it to the libraries listed below
Sorting:
- Hypothesis-like property testing for Rust☆1,984Updated 2 weeks ago
- Extra iterator adaptors, iterator methods, free functions, and macros.☆3,057Updated 2 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,976Updated 3 months ago
- Concurrency permutation testing tool for Rust.☆2,541Updated 4 months ago
- A code coverage tool for Rust projects☆2,850Updated last week
- The missing batteries of Rust☆2,070Updated 10 months ago
- Parser for Rust source code☆3,238Updated this week
- A snapshot testing library for rust☆2,655Updated this week
- Parse command line arguments by defining a struct.☆2,734Updated last year
- Compile time static maps for Rust☆2,068Updated 2 months ago
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆3,214Updated last month
- A binary encoder / decoder implementation in Rust.☆3,087Updated 4 months ago
- Subcommand to show result of macro expansion☆2,993Updated 3 weeks ago
- Rust persistent data structures☆1,637Updated last month
- Assorted immutable collection datatypes for Rust☆1,560Updated last year
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,550Updated 3 weeks ago
- Rust port of Google's SwissTable hash map☆2,821Updated this week
- Graph data structure library for Rust.☆3,676Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,628Updated 2 weeks ago
- A small macro for defining lazy evaluated static variables in Rust.☆2,022Updated 10 months ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,401Updated last week
- Analysis of various tricky Rust code☆1,973Updated 3 weeks ago
- Error management☆1,420Updated 5 years ago
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,258Updated last year
- A parser combinator library for Rust☆1,347Updated 10 months ago
- Rust API guidelines☆1,316Updated 5 months ago
- A lock-free, read-optimized, concurrency primitive.☆2,062Updated last week
- Some more derive(Trait) options☆2,032Updated 2 weeks ago
- Statistics-driven benchmarking library for Rust☆5,380Updated 2 weeks ago
- LR(1) parser generator for Rust☆3,398Updated last week