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
  ☆32Updated last month
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆207Updated this week
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated 3 weeks ago
• NousResearch / smc-inference-server
  ☆31Updated 4 months ago
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆35Updated 8 months ago
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆177Updated this week
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆28Updated last week
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• liminalbardo / liminal_backrooms
  ☆18Updated 7 months ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆49Updated 2 years ago
• singnet / ai-dsl
  Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
  ☆82Updated 3 months ago
• snoglobe / prolog_mcp
  ☆22Updated 6 months ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆18Updated 2 weeks ago
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆34Updated last year
• ccrock4t / NARS-Python
  A Non-Axiomatic Reasoning System implemented in Python
  ☆29Updated last month
• ptarau / recursors
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆45Updated last month
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆31Updated last year
• 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…
  ☆26Updated last year
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆21Updated 11 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.
  ☆44Updated last year
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated last month
• LogicalContracts / LogicalEnglish
  ☆39Updated 2 weeks ago
• westoncb / latent-langs
  ☆27Updated last year
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 6 months ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated last week
• G-structure / PromptMutant
  An implementation of Deepmind's Promptbreeder.
  ☆22Updated last year
• StampyAI / stampy-ui
  AI Safety Q&A web frontend
  ☆41Updated last week
• meta-introspector / meta-meme
  The meta meme
  ☆15Updated 2 weeks ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated last year