trueagi-io / hyperon-experimentalLinks
MeTTa programming language implementation
☆191Updated last week
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☆30Updated 2 months ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆164Updated last week
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆80Updated 3 weeks ago
- General reasoning component for applications based on NARS theory.☆98Updated last month
- GPT-based language channel for NARS (ONA)☆33Updated 5 months ago
- MeTTa Optimal Reduction Kernel☆24Updated this week
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated last month
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆43Updated last year
- ☆273Updated 5 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆21Updated 2 weeks ago
- ☆12Updated 2 weeks ago
- ☆67Updated 3 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Experimental Python implementation of the Clarion cognitive architecture☆51Updated last month
- Neural Simulator for AGI research and development☆111Updated last week
- A framework for generative software.☆113Updated last week
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆264Updated 8 months ago
- ☆72Updated this week
- ☆33Updated this week
- Cognitive Computing with Associative Memory☆35Updated last year
- A Non-Axiomatic Reasoning System implemented in Python☆29Updated 3 months ago
- Meaning is not necessary☆84Updated last year
- Reduce suffering, increase prosperity, increase understanding. A proposed framework to address the Control Problem.☆138Updated 2 years ago
- Public repo for my book about AGI and the control problem Benevolent By Design: Six Words to Safeguard Humanity☆99Updated 3 years ago
- AtomSpace Graph Database RocksDB backend☆16Updated 3 months ago
- LMQL implementation of tree of thoughts☆34Updated last year
- ☆27Updated 10 months ago
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆44Updated this week
- OpenNARS for Research 3.0+☆399Updated 4 years ago
- An all-new Language Model That Processes Ultra-Long Sequences of 100,000+ Ultra-Fast☆151Updated 10 months ago