Alternatives and similar repositories for imkg

Users that are interested in imkg are comparing it to the libraries listed below

• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆30Updated last month
• learning-at-home / go-libp2p-daemon
  a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages
  ☆11Updated 6 months ago
• tetherless-world / explanation-ontology
  Explanation Ontology Resource website
  ☆11Updated last year
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆18Updated 2 weeks ago
• trueagi-io / Vereya
  Python api for agents in minecraft
  ☆10Updated 3 months ago
• aigents / aigents-java
  Aigents Java Core Platform
  ☆32Updated 10 months ago
• LogicalContracts / LogicalEnglish
  ☆35Updated last week
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆16Updated 2 years ago
• DSiSc / why3
  mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…
  ☆12Updated 7 years ago
• CategoricalData / hydra
  Graph programming language
  ☆114Updated last week
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆172Updated last week
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆34Updated 7 months ago
• rubensworks / rdf-data-factory.js
  A TypeScript/JavaScript implementation of the RDF/JS data factory.
  ☆11Updated last week
• opencog / cogserver
  Distributed AtomSpace Network Server
  ☆23Updated this week
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated 3 months ago
• IBM / ULKB
  A HOL-based framework for reasoning over knowledge graphs
  ☆25Updated 10 months ago
• sciknoworg / OntoAligner
  OntoAligner: A Python Toolkit for Ontology Alignment https://pypi.org/project/OntoAligner/
  ☆50Updated last month
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆27Updated 4 months ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated this week
• USEPA / FDTool
  ☆18Updated 6 years ago
• 0-5788719150923125 / vtx
  an experiment
  ☆11Updated 8 months ago
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆39Updated last year
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆41Updated 5 months ago
• terminusdb / technical-blogs
  Technical blogs around data collaboration, data management, and building collaborative applications.
  ☆46Updated 2 years ago
• costezki / rdf2gremlin
  It has never been easier to transform your RDF data into a property graph based on TinkerPop-Gremlin.
  ☆24Updated 5 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated 11 months ago
• neurallambda / arc-like
  Like ARC, but code to generate visual puzzles. 1D puzzles first.
  ☆21Updated last year
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆202Updated this week
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated this week