- awesome-rust-formalized-reasoning VS kani
- awesome-rust-formalized-reasoning VS Kind
- awesome-rust-formalized-reasoning VS cicada
- awesome-rust-formalized-reasoning VS minisat
- awesome-rust-formalized-reasoning VS Formality
- awesome-rust-formalized-reasoning VS opennars
- awesome-rust-formalized-reasoning VS tptp
- awesome-rust-formalized-reasoning VS crucible
- awesome-rust-formalized-reasoning VS MIRAI
- awesome-rust-formalized-reasoning VS grakn
Awesome-rust-formalized-reasoning Alternatives
Similar projects and alternatives to awesome-rust-formalized-reasoning
-
-
Kind
A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)
-
ONLYOFFICE
ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises
-
-
-
Formality
A modern proof language [Moved to: https://github.com/kind-lang/Kind]
-
-
crucible
Crucible is a library for symbolic simulation of imperative programs
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
-
-
-
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
-
-
rmc
Kani Rust Verifier [Moved to: https://github.com/model-checking/kani]
-
z3_splash_class
This repo holds materials for our Splash 2017 class on Z3.
-
-
SonarLint
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better awesome-rust-formalized-reasoning alternative or higher similarity.
awesome-rust-formalized-reasoning reviews and mentions
Posts with mentions or reviews of awesome-rust-formalized-reasoning.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-06-17.
-
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
Unsurprisingly, we can see a growing interest in the Rust ecosystem regarding formal verification. I try to keep https://github.com/newca12/awesome-rust-formalized-reasoning up to date. I will add CreuSAT shortly.
-
Kani Rust Verifier – a bit-precise model-checker for Rust
This dispersed progress is the sign of an absence of maturity but the exploration of this space with Rust is very promising : https://github.com/newca12/awesome-rust-formalized-reasoning
Stats
Basic awesome-rust-formalized-reasoning repo stats
3
208
4.6
7 days ago
newca12/awesome-rust-formalized-reasoning is an open source project licensed under MIT License which is an OSI approved license.
Popular Comparisons
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
www.sonarlint.org