- 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
Similar projects and alternatives to awesome-rust-formalized-reasoning
Kani Rust Verifier
A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)
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
Cicada Language (by cicada-lang)
Minisat Haskell bundle
A modern proof language [Moved to: https://github.com/kind-lang/Kind]
OpenNARS for Research 3.0+
Crucible is a library for symbolic simulation of imperative programs
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.
Parser and pretty printer for the TPTP language
Rust mid-level IR Abstract Interpreter
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
symbolic execution engine for Rust (by dwrensha)
Kani Rust Verifier [Moved to: https://github.com/model-checking/kani]
This repo holds materials for our Splash 2017 class on Z3.
TypeDB: a strongly-typed database
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.
awesome-rust-formalized-reasoning reviews and mentions
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
3 projects | news.ycombinator.com | 17 Jun 2022
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
7 projects | news.ycombinator.com | 23 Mar 2022
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
newca12/awesome-rust-formalized-reasoning is an open source project licensed under MIT License which is an OSI approved license.