BurntSushi / quickcheck
Automated property based testing for Rust (with shrinking).
☆2,323Updated 9 months ago
Related projects: ⓘ
- Hypothesis-like property testing for Rust☆1,673Updated last week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,812Updated this week
- Concurrency permutation testing tool for Rust.☆2,082Updated this week
- The missing batteries of Rust☆2,025Updated 4 years ago
- Extra iterator adaptors, iterator methods, free functions, and macros.☆2,690Updated 3 weeks ago
- Parse command line arguments by defining a struct.☆2,706Updated 8 months ago
- Assorted immutable collection datatypes for Rust☆1,490Updated last month
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,100Updated 3 weeks ago
- Compile time static maps for Rust☆1,815Updated last month
- Parser for Rust source code☆2,815Updated last week
- Error management☆1,425Updated 4 years ago
- A binary encoder / decoder implementation in Rust.☆2,647Updated last month
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆2,696Updated 2 months ago
- Subcommand to show result of macro expansion☆2,602Updated 3 weeks ago
- A small macro for defining lazy evaluated static variables in Rust.☆1,913Updated last month
- A code coverage tool for Rust projects☆2,477Updated last week
- A snapshot testing library for rust☆2,130Updated this week
- Rust port of Google's SwissTable hash map☆2,386Updated this week
- A lock-free, read-optimized, concurrency primitive.☆1,937Updated 2 months ago
- Analysis of various tricky Rust code☆1,687Updated 3 weeks ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,246Updated 2 weeks ago
- A parser combinator library for Rust☆1,291Updated 5 months ago
- Rust derive-based argument parsing optimized for code size☆1,632Updated 3 months ago
- Graph data structure library for Rust.☆2,844Updated last month
- Parsing Expression Grammar (PEG) parser generator for Rust☆1,444Updated last month
- Rust friendly bindings to *nix APIs☆2,618Updated this week
- A hash table with consistent order and fast iteration; access items by key or sequence index☆1,670Updated this week
- Cap'n Proto for Rust☆2,019Updated this week
- An interpreter for Rust's mid-level intermediate representation☆4,325Updated this week
- Readline Implementation in Rust☆1,527Updated 2 weeks ago