formal-land / coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
β823Updated 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
- Verified Rust for low-level systems codeβ1,430Updated this week
- Creusot helps you prove your code is correct in an automated fashion.β1,230Updated this week
- Refinement Types for Rustβ705Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,615Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β324Updated this week
- Kani Rust Verifierβ2,450Updated this week
- A precise specification for "Rust lite / MIR plus"β841Updated last week
- Logic programming in Rustβ457Updated 3 weeks ago
- Verifying the Rust standard libraryβ221Updated this week
- A verification toolchain for Rust programsβ249Updated this week
- Fast and simple benchmarking for Rust projectsβ1,076Updated last month
- A very fast linker for Linuxβ1,916Updated this week
- Rust port of Spice, a low-overhead parallelization libraryβ595Updated 2 months ago
- Making parsing a breezeβ690Updated this week
- β1,319Updated this week
- Compiler front-end foundation technology.β448Updated 3 weeks ago
- Use Tree Sitter to parse your own languages in Rustβ634Updated last month
- Magical Rust patterns laid out and simplifiedβ1,327Updated 2 months ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.β681Updated last week
- Scan your Rust crate for semver violations.β1,335Updated this week
- A Rust verification toolβ235Updated this week
- Rust programs written entirely in Rustβ814Updated 2 weeks ago
- Add hardship to your testsβ915Updated this week
- Inject bugs and see if your tests catch them!β682Updated 3 weeks ago
- π₯ Time Travel Visual Debugger for Rustβ1,354Updated 6 months ago
- Defines the Rust borrow checker.β1,410Updated 9 months ago
- Shuttle is a library for testing concurrent Rust codeβ747Updated this week
- Language development libraries for Rustβ941Updated 3 months ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.β1,942Updated 3 months ago
- Concurrency permutation testing tool for Rust.β2,282Updated last month