formal-land / coq-of-rustLinks
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
β911Updated 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:
- Verified Rust for low-level systems codeβ1,853Updated this week
- Creusot helps you prove your code is correct in an automated fashion.β1,272Updated last week
- Refinement Types for Rustβ738Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,646Updated 2 weeks ago
- Inject bugs and see if your tests catch them!β915Updated 2 weeks ago
- Kani Rust Verifierβ2,557Updated this week
- β1,543Updated 3 weeks ago
- Rust port of Spice, a low-overhead parallelization libraryβ640Updated 3 weeks ago
- Fast and simple benchmarking for Rust projectsβ1,154Updated last month
- Rust debugger for Linux x86-64β1,097Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"β868Updated last week
- A fast and ergonomic concurrent hashmap for read-heavy workloads.β730Updated 2 weeks ago
- Rust programs written entirely in Rustβ833Updated last month
- Multi-platform high-performance compute language extension for Rust.β1,468Updated this week
- Compiler front-end foundation technology.β454Updated 3 months ago
- Rust reflection, serialization, deserialization, pretty printing, etc. β the last proc macro you should needβ1,517Updated this week
- A datetime library for Rust that encourages you to jump into the pit of success.β2,282Updated last week
- A very fast linker for Linuxβ2,104Updated this week
- Magical Rust patterns laid out and simplifiedβ1,765Updated last month
- Scan your Rust crate for semver violations.β1,391Updated last week
- Verifying the Rust standard libraryβ243Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β342Updated 2 weeks ago
- A Rust verification toolβ265Updated this week
- A verification toolchain for Rust programsβ262Updated this week
- Logic programming in Rustβ466Updated 3 weeks ago
- Add hardship to your testsβ977Updated last week
- Making parsing a breezeβ734Updated 3 weeks ago
- π₯ Time Travel Visual Debugger for Rustβ1,551Updated 2 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β642Updated 3 weeks ago
- Algebraic effects for Rustβ614Updated 11 months ago