trueagi-io / hyperon-experimentalLinks
MeTTa programming language implementation
☆218Updated last month
Alternatives and similar repositories for hyperon-experimental
Users that are interested in hyperon-experimental are comparing it to the libraries listed below
Sorting:
- Discussion of MeTTa programming with examples☆34Updated 3 months ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆183Updated 2 weeks ago
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆82Updated 6 months ago
- ☆14Updated 3 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆45Updated 2 weeks ago
- MeTTa Optimal Reduction Kernel☆40Updated last week
- GPT-based language channel for NARS (ONA)☆36Updated 11 months ago
- Neural Simulator for AGI research and development☆167Updated last week
- Experimental Python implementation of the Clarion cognitive architecture☆61Updated last month
- The OpenCog (hyper-)graph database and graph rewriting system☆930Updated last week
- Research code & algorithms for artificial general intelligence.☆66Updated 7 years ago
- ☆41Updated last week
- Cognitive Computing with Associative Memory☆36Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆284Updated last year
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆45Updated last year
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆44Updated 3 months ago
- General reasoning component for applications based on NARS theory.☆108Updated 7 months ago
- ☆281Updated 5 years ago
- ☆83Updated last week
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated last month
- ☆148Updated last week
- Python version of cognitive architecture MicroPsi☆182Updated 3 years ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- LMQL implementation of tree of thoughts☆35Updated last year
- Soar, a general cognitive architecture for systems that exhibit intelligent behavior.☆376Updated last month
- AIRIS Public Release☆28Updated 2 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- A framework for generative software.☆115Updated 5 months ago
- A Python implementation of the ACT-R cognitive Architecture☆36Updated 2 months ago
- OpenNARS for Research 3.0+☆406Updated 4 years ago