trueagi-io / hyperon-experimental
MeTTa programming language implementation
☆165Updated this week
Alternatives and similar repositories for hyperon-experimental:
Users that are interested in hyperon-experimental are comparing it to the libraries listed below
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆148Updated this week
- Discussion of MeTTa programming with examples☆21Updated last month
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆75Updated 6 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- The OpenCog (hyper-)graph database and graph rewriting system☆848Updated 2 weeks ago
- General reasoning component for applications based on NARS theory.☆94Updated this week
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated last month
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search. See also AS-MOSES https://github.com/opencog/asmoses but kept to gu…☆126Updated last year
- ☆248Updated 4 years ago
- GPT-based language channel for NARS (ONA)☆27Updated 3 weeks ago
- Research code & algorithms for artificial general intelligence.☆63Updated 6 years ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆30Updated 10 months ago
- A Non-Axiomatic Reasoning System implemented in Python☆26Updated 2 months ago
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆42Updated last year
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆33Updated last year
- ☆34Updated this week
- AtomSpace Graph Database RocksDB backend☆16Updated 2 weeks ago
- ☆28Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆206Updated this week
- Meta-prompt: a simple self-improving language agent☆88Updated last year
- Non-Axiomatic Causal Explorer☆19Updated this week
- Multi Use Robot Platform Humanoid Intelligent Entity☆55Updated last year
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆40Updated 4 months ago
- Public repo for my book about AGI and the control problem Benevolent By Design: Six Words to Safeguard Humanity☆95Updated 2 years ago
- Cognitive Computing with Associative Memory☆32Updated last year
- Reduce suffering, increase prosperity, increase understanding. A proposed framework to address the Control Problem.☆138Updated last year
- Neural Simulator for AGI research and development☆91Updated 7 months ago
- ☆31Updated 2 weeks ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆246Updated 3 months ago
- LMQL implementation of tree of thoughts☆33Updated last year