formal-land / coq-of-rustLinks
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
β980Updated 2 weeks ago
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β2,020Updated this week
- Creusot helps you prove your code is correct in an automated fashion.β1,331Updated this week
- Refinement Types for Rustβ772Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,681Updated last week
- Kani Rust Verifierβ2,678Updated last week
- A Rust verification toolβ293Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β355Updated last week
- A verification toolchain for Rust programsβ389Updated this week
- Inject bugs and see if your tests catch them!β977Updated last week
- Verifying the Rust standard libraryβ292Updated last week
- A precise specification for "Rust lite / MIR plus"β932Updated 2 weeks ago
- Logic programming in Rustβ506Updated last week
- Fast and simple benchmarking for Rust projectsβ1,230Updated 5 months ago
- Rust port of Spice, a low-overhead parallelization libraryβ676Updated 4 months ago
- Compiler front-end foundation technology.β473Updated 2 months ago
- Rust debugger for Linux x86-64β1,171Updated last week
- β1,614Updated 4 months ago
- Rust bindings for the Z3 solver.β430Updated this week
- A very fast linker for Linuxβ2,749Updated this week
- π₯ Time Travel Visual Debugger for Rustβ1,648Updated 6 months ago
- An IDE extension for debugging trait errors in Rust.β271Updated 2 weeks ago
- Add hardship to your testsβ1,046Updated 2 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β657Updated 3 months ago
- Source code of Ferrocene, safety-critical Rust toolchainβ1,469Updated this week
- Algebraic effects for Rustβ638Updated last year
- Unsafely fast hashing algorithm πβ962Updated 4 months ago
- β166Updated 6 months ago
- Rust programs written entirely in Rustβ856Updated 5 months ago
- Rust reflection, serialization, deserialization, pretty printing, etc. β the last proc macro you should needβ2,012Updated this week
- Magical Rust patterns laid out and simplifiedβ1,809Updated last month