awesome-rust-formalized-reasoning
opennars
Our great sponsors
| awesome-rust-formalized-reasoning | opennars | |
|---|---|---|
| 3 | 5 | |
| 227 | 348 | |
| - | 0.0% | |
| 0.0 | 0.0 | |
| 5 days ago | over 2 years ago | |
| Java | ||
| MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
awesome-rust-formalized-reasoning
-
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
opennars
We haven't tracked posts mentioning opennars yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
kani - Kani Rust Verifier
opencog - A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Choco - An open-source Java library for Constraint Programming
minisat - Minisat Haskell bundle
Hodoku - Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
cicada - Cicada Language
OpenNARS-for-Applications - General reasoning component for applications based on NARS theory.
Recaf - The modern Java bytecode editor
tptp - Parser and pretty printer for the TPTP language
RoyalUr-Analysis - This repository is dedicated to the technical analysis of The Royal Game of Ur. We aim to answer: How much of the game is luck, and how much is skill?