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 3 months ago
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆218Updated last month
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last month
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆183Updated 2 weeks ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆40Updated last week
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆36Updated 11 months ago
• singnet / ai-dsl
  Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
  ☆82Updated 6 months ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆45Updated 2 weeks ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆18Updated last week
• LogicalContracts / LogicalEnglish
  ☆41Updated last week
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆31Updated 2 years ago
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆36Updated last year
• StampyAI / stampy-ui
  AI Safety Q&A web frontend
  ☆41Updated last week
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆50Updated 2 years ago
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆22Updated last year
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆15Updated 8 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated 3 weeks ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆34Updated last year
• ActiveInferenceInstitute / ActiveInferAnts
  Active Inference models of/for Ants
  ☆25Updated 4 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
• snoglobe / prolog_mcp
  ☆23Updated 8 months ago
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆35Updated last year
• Cerenaut / agi
  Research code & algorithms for artificial general intelligence.
  ☆66Updated 7 years ago
• NousResearch / smc-inference-server
  ☆32Updated 2 weeks ago
• adamnemecek / traceoid.ai
  ☆109Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• ptarau / recursors
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆44Updated 3 months ago
• 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
• Dicklesworthstone / model_guided_research
  ☆81Updated last week