formal-land / coq-of-rustLinks
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
β953Updated last 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,309Updated this week
- Verified Rust for low-level systems codeβ1,969Updated this week
- Refinement Types for Rustβ753Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,664Updated last week
- Inject bugs and see if your tests catch them!β950Updated this week
- Kani Rust Verifierβ2,620Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β349Updated last week
- A Rust verification toolβ280Updated this week
- Verifying the Rust standard libraryβ262Updated this week
- A precise specification for "Rust lite / MIR plus"β914Updated last week
- A verification toolchain for Rust programsβ338Updated last week
- Compiler front-end foundation technology.β464Updated last month
- Rust port of Spice, a low-overhead parallelization libraryβ655Updated 2 months ago
- Logic programming in Rustβ475Updated 2 months ago
- Rust debugger for Linux x86-64β1,130Updated 2 weeks ago
- β1,599Updated 2 months ago
- Add hardship to your testsβ1,012Updated this week
- Fast and simple benchmarking for Rust projectsβ1,197Updated 3 months ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.β771Updated last week
- Magical Rust patterns laid out and simplifiedβ1,796Updated 3 months ago
- Source code of Ferrocene, safety-critical Rust toolchainβ1,440Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β650Updated last month
- Rust bindings for the Z3 solver.β413Updated this week
- π Async-first sharded hashmap for Rust.β519Updated 6 months ago
- A very fast linker for Linuxβ2,256Updated this week
- A modern computer algebra library for Python and Rust.β623Updated 2 weeks ago
- Algebraic effects for Rustβ628Updated last year
- β156Updated 4 months ago
- π₯ Time Travel Visual Debugger for Rustβ1,637Updated 4 months ago
- Multi-platform high-performance compute language extension for Rust.β1,595Updated this week