Alternatives and similar repositories for NeuraLogic

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

• LukasZahradnik / PyNeuraLogic

  View on GitHub
  PyNeuraLogic lets you use Python to create Differentiable Logic Programs
  ☆304Jan 22, 2026Updated 3 weeks ago
• ml-research / alphailp

  View on GitHub
  ☆17Feb 22, 2023Updated 2 years ago
• opencog / spacetime

  View on GitHub
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆16Apr 3, 2025Updated 10 months ago
• opencog / asmoses

  View on GitHub
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆45Dec 10, 2025Updated 2 months ago
• ptarau / iProlog

  View on GitHub
  Java-based lightweight Prolog virtual machine
  ☆37Jul 3, 2024Updated last year
• tommasocarraro / LTNtorch

  View on GitHub
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆147Oct 2, 2024Updated last year
• logictensornetworks / logictensornetworks

  View on GitHub
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆342Nov 13, 2024Updated last year
• ML-KULeuven / deepproblog

  View on GitHub
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆295Aug 9, 2024Updated last year
• logicmoo / logicmoo_clif

  View on GitHub
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Oct 2, 2021Updated 4 years ago
• IBM / TensorLNN

  View on GitHub
  Scalable Training of Propositional Logical Neural Networks.
  ☆15Feb 4, 2022Updated 4 years ago
• philzook58 / prologsolvers

  View on GitHub
  Copies of prolog solvers for use from python
  ☆19Jul 8, 2024Updated last year
• probsys / sppl

  View on GitHub
  Probabilistic programming system for fast and exact symbolic inference
  ☆85Jul 10, 2024Updated last year
• ML-KULeuven / deepstochlog

  View on GitHub
  ☆37Jan 26, 2024Updated 2 years ago
• trueagi-io / metta-wam

  View on GitHub
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆23Nov 21, 2025Updated 2 months ago
• scallop-lang / scallop

  View on GitHub
  Framework and Language for Neurosymbolic Programming.
  ☆443May 1, 2025Updated 9 months ago
• jnoessner / rockIt

  View on GitHub
  RockIt: A query engine for Markov logic
  ☆11May 24, 2016Updated 9 years ago
• pietrobarbiero / pytorch_explain

  View on GitHub
  PyTorch Explain: Interpretable Deep Learning in Python.
  ☆170May 16, 2024Updated last year
• johannesloetzsch / reasonablepy

  View on GitHub
  Reasonable Python is a module which adds F-Logic to Python
  ☆26Jul 5, 2011Updated 14 years ago
• santikka / cfid

  View on GitHub
  cfid: R package for identifying counterfactuals.
  ☆11Dec 11, 2025Updated 2 months ago
• koo5 / koordinator2000

  View on GitHub
  crowd-defunding
  ☆10Feb 3, 2026Updated last week
• delaray / hypergraph

  View on GitHub
  A CLOS implementation of an in memory hypergraph database and semantic networks.
  ☆11Feb 16, 2021Updated 4 years ago
• dice-group / hypertrie

  View on GitHub
  A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…
  ☆16Sep 18, 2025Updated 4 months ago
• j-towns / flipper

  View on GitHub
  Reversible programming in Agda
  ☆13Jun 22, 2023Updated 2 years ago
• SERG-Delft / j2graph

  View on GitHub
  ☆10Aug 25, 2020Updated 5 years ago
• Lipen / kotlin-satlib

  View on GitHub
  🗿 SAT solver wrappers for Kotlin
  ☆11Mar 2, 2024Updated last year
• petablox / difflog

  View on GitHub
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Sep 26, 2019Updated 6 years ago
• sfu-cl-lab / FactorBase

  View on GitHub
  The source code repository for the FactorBase system
  ☆10Mar 17, 2024Updated last year
• LandWhale2 / TD-Spider

  View on GitHub
  Via Text Density Simple Web Crawler With Go
  ☆13Mar 19, 2023Updated 2 years ago
• dahjelle / pouch-datalog

  View on GitHub
  Datalog query engine for PouchDB.
  ☆24Jul 6, 2015Updated 10 years ago
• potassco / clingraph

  View on GitHub
  🕸️ A visualizer for graphs defined as logic programs
  ☆31Oct 12, 2024Updated last year
• crunchiness / lernd

  View on GitHub
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆27Mar 25, 2023Updated 2 years ago
• datagy / mediumdata

  View on GitHub
  ☆14Sep 22, 2022Updated 3 years ago
• IBM / torchlogic

  View on GitHub
  torchlogic is a pytorch framework for developing Neuro-Symbolic AI systems and implements Neural Reasoning Networks.
  ☆17Sep 18, 2025Updated 4 months ago
• CategoricalData / catdb

  View on GitHub
  Category theory in Coq, by Jason Gross
  ☆16Jan 29, 2015Updated 11 years ago
• opencog / pln

  View on GitHub
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…
  ☆16Sep 20, 2025Updated 4 months ago
• salastro / wavepde

  View on GitHub
  Wave Partial Differential Equation Solver in Python
  ☆14Jun 5, 2024Updated last year
• FormalLanguageConstrainedPathQuerying / CFPQ_Data

  View on GitHub
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Sep 11, 2024Updated last year
• jnika / ACE_Analyzer

  View on GitHub
  Qualitative evaluation of automatic chord extraction results: analysis of the musical relationships between predicted chords and target c…
  ☆10Oct 25, 2021Updated 4 years ago
• bonetblai / qnp2fond

  View on GitHub
  Qualitative Numeric Planning
  ☆10Dec 10, 2020Updated 5 years ago