formal-land / coq-of-rustLinks
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
β964Updated 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:
- Verified Rust for low-level systems codeβ1,983Updated this week
- Creusot helps you prove your code is correct in an automated fashion.β1,316Updated last week
- Refinement Types for Rustβ759Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,666Updated last week
- Kani Rust Verifierβ2,632Updated this week
- Verifying the Rust standard libraryβ265Updated this week
- Inject bugs and see if your tests catch them!β956Updated last week
- A Rust verification toolβ280Updated last week
- Compiler front-end foundation technology.β468Updated 3 weeks ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β353Updated 2 weeks ago
- A verification toolchain for Rust programsβ358Updated this week
- Logic programming in Rustβ479Updated 3 months ago
- Rust port of Spice, a low-overhead parallelization libraryβ664Updated 3 months ago
- A precise specification for "Rust lite / MIR plus"β919Updated last month
- A very fast linker for Linuxβ2,274Updated last week
- β1,601Updated 3 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β652Updated 2 months ago
- Rust debugger for Linux x86-64β1,138Updated 2 weeks ago
- β160Updated 5 months ago
- Rust bindings for the Z3 solver.β417Updated this week
- Fast and simple benchmarking for Rust projectsβ1,208Updated 4 months ago
- Add hardship to your testsβ1,022Updated 3 weeks ago
- Magical Rust patterns laid out and simplifiedβ1,802Updated last week
- Source code of Ferrocene, safety-critical Rust toolchainβ1,454Updated this week
- A fast and ergonomic concurrent hashmap for read-heavy workloads.β790Updated 2 weeks ago
- Rust reflection, serialization, deserialization, pretty printing, etc. β the last proc macro you should needβ1,979Updated this week
- Scan your Rust crate for semver violations.β1,447Updated this week
- Multi-platform high-performance compute language extension for Rust.β1,637Updated this week
- Shuttle is a library for testing concurrent Rust codeβ841Updated this week
- A modern computer algebra library for Python and Rust.β628Updated this week