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
  ☆30Updated 2 months ago
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆191Updated last week
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆21Updated 2 weeks ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆24Updated this week
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆35Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆21Updated 8 months ago
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆31Updated last year
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆49Updated 2 years ago
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 3 months ago
• G-structure / PromptMutant
  An implementation of Deepmind's Promptbreeder.
  ☆22Updated last year
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆16Updated 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.
  ☆43Updated last year
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆165Updated this week
• NousResearch / smc-inference-server
  ☆30Updated last month
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated last month
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆33Updated 5 months ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated 5 months ago
• snoglobe / prolog_mcp
  ☆19Updated 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
• neurallambda / arc-like
  Like ARC, but code to generate visual puzzles. 1D puzzles first.
  ☆20Updated 11 months ago
• StampyAI / stampy-ui
  AI Safety Q&A web frontend
  ☆39Updated 2 weeks ago
• adamnemecek / traceoid.ai
  ☆96Updated 7 months ago
• joshuacnf / Ctrl-G
  ☆86Updated 6 months ago
• ActiveInferenceInstitute / ActiveInferAnts
  Active Inference models of/for Ants
  ☆18Updated 2 months ago
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆264Updated 8 months ago
• singnet / ai-dsl
  Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
  ☆80Updated 3 weeks ago
• IDNI / tau-lang
  ☆72Updated this week
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆88Updated 10 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 2 weeks ago