awesome-rust-formalized-reasoning
opennars
Our great sponsors
| awesome-rust-formalized-reasoning | opennars | |
|---|---|---|
| 3 | 5 | |
| 261 | 369 | |
| - | 1.9% | |
| 7.7 | 0.0 | |
| 13 days ago | about 3 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
- Awesome-Rust-Formalized-Reasoning
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.
What are some alternatives?
kani - Kani Rust Verifier
Choco - An open-source Java library for Constraint Programming
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Hodoku - Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
cicada - Cicada Language
opencog - A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
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?
minisat - Minisat Haskell bundle
fastInvoiceAI - FastInvoiceAI - Automate accounting of Peppol and EHF invoices in Java
seer - symbolic execution engine for Rust
OpenNARS-for-Applications - General reasoning component for applications based on NARS theory.