Refinement Alternatives

Similar projects and alternatives to refinement

quickcheck

13 2,270 4.0 Rust refinement VS quickcheck

Automated property based testing for Rust (with shrinking).
mutagen

8 619 0.0 Rust refinement VS mutagen

Breaking your Rust code for fun and profit (by llogiq)
InfluxDB

www.influxdata.com featured

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
cargo-fuzz

6 1,446 6.5 Rust refinement VS cargo-fuzz

Command line helpers for fuzzing

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better refinement alternative or higher similarity.

Suggest an alternative to refinement

refinement reviews and mentions

Posts with mentions or reviews of refinement. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-05-03.

Mutable Arguments Considered Harmful | micouy.github.io
4 projects | /r/rust | 3 May 2021

(Ideally Rust would have refinement types like LiquidHaskell, where you can enforce nearly all kind of properties at compile time for your data types: refinement).