Alternatives and similar repositories for hyperon-experimental

Users that are interested in hyperon-experimental are comparing it to the libraries listed below

• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆181Updated last month
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆34Updated 3 months ago
• singnet / ai-dsl
  Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
  ☆82Updated 5 months ago
• cmekik / pyClarion
  Experimental Python implementation of the Clarion cognitive architecture
  ☆61Updated last week
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆36Updated 10 months ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆45Updated 3 months ago
• zarqa-ai / metta-motto
  ☆14Updated 2 months ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆35Updated last week
• FutureAIGuru / BrainSimIII
  ☆138Updated this week
• opencog / atomspace
  The OpenCog (hyper-)graph database and graph rewriting system
  ☆926Updated this week
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated 2 weeks ago
• FutureAIGuru / BrainSimII
  Neural Simulator for AGI research and development
  ☆161Updated 3 months ago
• asanchez75 / opencyc
  ☆280Updated 5 years ago
• IDNI / tau-lang
  ☆82Updated this week
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆105Updated 6 months ago
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆34Updated last year
• LogicalContracts / LogicalEnglish
  ☆41Updated this week
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆366Updated last week
• 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
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆36Updated last year
• ptarau / recursors
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆44Updated 3 months ago
• Cerenaut / agi
  Research code & algorithms for artificial general intelligence.
  ☆66Updated 7 years ago
• agentic-ai / enact
  A framework for generative software.
  ☆114Updated 5 months ago
• daveshap / HeuristicImperatives
  Reduce suffering, increase prosperity, increase understanding. A proposed framework to address the Control Problem.
  ☆137Updated 2 years ago
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆282Updated last year
• daveshap / BenevolentByDesign
  Public repo for my book about AGI and the control problem Benevolent By Design: Six Words to Safeguard Humanity
  ☆101Updated 3 years ago
• daveshap / SymphonyOfThought
  Public repo for my book Symphony of Thought: Orchestrating Artificial Cognition
  ☆112Updated 3 years ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆18Updated this week
• westoncb / latent-langs
  ☆26Updated last year