formal-land / coq-of-rustLinks
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
β923Updated this week
Alternatives and similar repositories for coq-of-rust
Users that are interested in coq-of-rust are comparing it to the libraries listed below
Sorting:
- Creusot helps you prove your code is correct in an automated fashion.β1,285Updated this week
- Verified Rust for low-level systems codeβ1,918Updated this week
- Refinement Types for Rustβ740Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,646Updated this week
- Kani Rust Verifierβ2,580Updated this week
- Inject bugs and see if your tests catch them!β930Updated this week
- A precise specification for "Rust lite / MIR plus"β874Updated last week
- Rust port of Spice, a low-overhead parallelization libraryβ646Updated last month
- Fast and simple benchmarking for Rust projectsβ1,155Updated 2 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β342Updated 3 weeks ago
- Verifying the Rust standard libraryβ248Updated this week
- Rust debugger for Linux x86-64β1,110Updated last month
- β1,563Updated last month
- Compiler front-end foundation technology.β460Updated this week
- A verification toolchain for Rust programsβ289Updated this week
- A Rust verification toolβ268Updated this week
- Scan your Rust crate for semver violations.β1,411Updated this week
- Magical Rust patterns laid out and simplifiedβ1,784Updated 2 months ago
- Add hardship to your testsβ993Updated last month
- Rust programs written entirely in Rustβ842Updated last month
- A very fast linker for Linuxβ2,195Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β646Updated last week
- Making parsing a breezeβ741Updated last week
- Logic programming in Rustβ470Updated last month
- Concurrency permutation testing tool for Rust.β2,386Updated 2 months ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust codeβ820Updated this week
- π₯ Time Travel Visual Debugger for Rustβ1,616Updated 2 months ago
- Defines the Rust borrow checker.β1,452Updated 2 weeks ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.β743Updated last month
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.β1,996Updated 6 months ago