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
  ☆31Updated 2 weeks ago
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆204Updated this week
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last week
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆34Updated 7 months ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆49Updated 2 years ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆27Updated this week
• ActiveInferenceInstitute / ActiveInferAnts
  Active Inference models of/for Ants
  ☆19Updated 3 weeks ago
• NousResearch / smc-inference-server
  ☆31Updated 3 months ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆33Updated last year
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆31Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆174Updated this week
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆34Updated last year
• snoglobe / prolog_mcp
  ☆22Updated 5 months ago
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• singnet / ai-dsl
  Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
  ☆81Updated 2 months ago
• westoncb / latent-langs
  ☆27Updated last year
• 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
• ptarau / recursors
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆45Updated last week
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated 7 months ago
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 5 months ago
• LogicalContracts / LogicalEnglish
  ☆35Updated this week
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆21Updated 10 months ago
• IDNI / tau-lang
  ☆73Updated last week
• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆53Updated last year
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated 2 weeks ago
• meta-introspector / meta-meme
  The meta meme
  ☆16Updated 2 months ago
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆88Updated last year
• angrysky56 / mcp-logic
  Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…
  ☆32Updated 5 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