model-checking / kaniLinks
Kani Rust Verifier
☆2,580Updated this week
Alternatives and similar repositories for kani
Users that are interested in kani are comparing it to the libraries listed below
Sorting:
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated this week
- Concurrency permutation testing tool for Rust.☆2,386Updated 2 months ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,996Updated 6 months ago
- Hypothesis-like property testing for Rust☆1,889Updated this week
- Defines the Rust borrow checker.☆1,452Updated 2 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,285Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆1,956Updated this week
- Automated property based testing for Rust (with shrinking).☆2,586Updated last month
- A next-generation test runner for Rust.☆2,476Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,940Updated 3 weeks ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,445Updated this week
- Zero-copy deserialization framework for Rust☆3,398Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,206Updated this week
- ❌ Cargo plugin for linting your dependencies 🦀☆1,980Updated last week
- Statistics-driven benchmarking library for Rust☆5,079Updated last month
- Analysis of various tricky Rust code☆1,908Updated 2 weeks ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,280Updated this week
- Scan your Rust crate for semver violations.☆1,411Updated this week
- A safe and fast multi-producer, multi-consumer channel.☆2,656Updated 3 months ago
- A code coverage tool for Rust projects☆2,719Updated last week
- A fast bump allocation arena for Rust☆1,782Updated 2 weeks ago
- a debugger for async rust!☆3,964Updated last month
- Subcommand to show result of macro expansion☆2,873Updated last week
- Graph data structure library for Rust.☆3,365Updated this week
- Parser for Rust source code☆3,095Updated last week
- A binary encoder / decoder implementation in Rust.☆3,028Updated this week
- Cranelift based backend for rustc☆1,804Updated this week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,491Updated last week
- 📦 shippable application packaging☆1,700Updated last month
- A small and fast async runtime for Rust☆4,235Updated 3 weeks ago