rutenspitz

А procedural macro to be used for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation (by jakubadamw)

Rutenspitz Alternatives

Similar projects and alternatives to rutenspitz

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

rutenspitz reviews and mentions

Posts with mentions or reviews of rutenspitz. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-07-10.
  • Bridging Fuzzing and Property Testing
    3 projects | /r/rust | 10 Jul 2023
    Inline documentation is lacking, but the README and the examples show it off reasonably well.
  • Writing a HashMap in Rust without unsafe
    1 project | /r/rust | 22 Oct 2022
    Also! You might want to verify the correctness of your implementation against some reference implementation - e.g. indexmap, or just an inefficient but obviously correct HashMap + Vec combination. https://github.com/jakubadamw/rutenspitz makes this very easy, and it did discover a few logic bugs in tinyvec, so I recommend giving it a go!
  • Announcing flashmap: a blazing fast, concurrent hash map
    2 projects | /r/rust | 1 Aug 2022
    https://github.com/jakubadamw/rutenspitz allows comparing your implementation against a slower, reference implementation using a fuzzer. Might be helpful for correctness, but is not really useful for testing concurrency, as far as I can tell.
  • Unsafe Rust: How and when (not) to use it - LogRocket Blog
    3 projects | /r/rust | 26 Jan 2021
    There's also https://github.com/jakubadamw/rutenspitz that is already usable, but I'm not aware of it being widely deployed.
  • fast-float - a super-fast float parser in Rust
    9 projects | /r/rust | 10 Jan 2021
    By the way, https://github.com/rust-fuzz/auto-fuzz-test and/or https://github.com/jakubadamw/rutenspitz will help mitigate that, if anyone is willing to apply them.
  • A note from our sponsor - WorkOS
    workos.com | 23 Apr 2024
    The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →

Stats

Basic rutenspitz repo stats
6
77
2.2
12 months ago

jakubadamw/rutenspitz is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of rutenspitz is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com