opennars
awesome-rust-formalized-reasoning
Our great sponsors
| opennars | awesome-rust-formalized-reasoning | |
|---|---|---|
| 5 | 3 | |
| 369 | 263 | |
| 1.9% | - | |
| 0.0 | 7.6 | |
| about 3 years ago | 10 days 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.
opennars
- AGI frameworks
-
How will artificial general intelligence come?
(For research)Test Chamber, the most complex application with its doors keys and pizzas is nowhere near complexity of the real ant world. Saw the car detection and Lego bot too. https://github.com/opennars/opennars/wiki/Test-Chamber
- How to make/program an AI? Is it even possible?
-
AI on the PC for fun
Non Axiomatic Reasoning System
-
What would the algorithm of imagination look like?
You could also look at OpenNars, written by Pei Wang who studied with Hofstadter: https://github.com/opennars/opennars The theory behind the NARS system might approach what you are thinking about.
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
- Awesome-Rust-Formalized-Reasoning
What are some alternatives?
Choco - An open-source Java library for Constraint Programming
kani - Kani Rust Verifier
Hodoku - Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
opencog - A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
cicada - Cicada Language
OpenNARS-for-Applications - General reasoning component for applications based on NARS theory.
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
fastInvoiceAI - FastInvoiceAI - Automate accounting of Peppol and EHF invoices in Java
minisat - Minisat Haskell bundle
Recaf - The modern Java bytecode editor
tptp - Parser and pretty printer for the TPTP language