Alternatives and similar repositories for metta-motto

Users that are interested in metta-motto are comparing it to the libraries listed below

• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆34Updated 4 months ago
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆223Updated this week
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆187Updated this week
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆37Updated 11 months ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last month
• singnet / ai-dsl
  Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
  ☆84Updated 6 months ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆50Updated 2 years ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆18Updated 2 weeks ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆45Updated last month
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆32Updated last month
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆15Updated 9 months ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆42Updated this week
• ActiveInferenceInstitute / ActiveInferAnts
  Active Inference models of/for Ants
  ☆26Updated 4 months ago
• meta-introspector / meta-meme
  The meta meme
  ☆15Updated 3 months ago
• patham9 / NarsGPT
  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
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆35Updated 2 years ago
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆31Updated 2 years ago
• LogicalContracts / LogicalEnglish
  ☆42Updated last week
• epfl-dlab / cc_flows
  The data and implementation for the experiments in the paper "Flows: Building Blocks of Reasoning and Collaborating AI".
  ☆31Updated last year
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆285Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• ptarau / recursors
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆44Updated 4 months ago
• StampyAI / stampy-ui
  AI Safety Q&A web frontend
  ☆41Updated last week
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆22Updated last year
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆36Updated last year
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆37Updated last year
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆110Updated 7 months ago
• benrayfield / wikibinator203
  Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…
  ☆28Updated last year
• NousResearch / smc-inference-server
  ☆32Updated last month
• snoglobe / prolog_mcp
  ☆23Updated 9 months ago