PyNeuraLogic lets you use Python to create Differentiable Logic Programs
☆304Jan 22, 2026Updated last month
Alternatives and similar repositories for PyNeuraLogic
Users that are interested in PyNeuraLogic are comparing it to the libraries listed below
Sorting:
- Deep relational learning through differentiable logic programming.☆113Aug 9, 2025Updated 6 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Framework and Language for Neurosymbolic Programming.☆455May 1, 2025Updated 10 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Mar 1, 2026Updated last week
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Oct 2, 2024Updated last year
- Cell Layout Generation for DTCO/STCO Exploration Toolkit☆23May 24, 2025Updated 9 months ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Jan 23, 2017Updated 9 years ago
- ☆22Jun 22, 2022Updated 3 years ago
- ☆13Sep 8, 2021Updated 4 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆344Nov 13, 2024Updated last year
- ☆17Jan 3, 2024Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- In-memory Graph Database and Knowledge Graph with Natural Language Interface, compatible with Pandas☆60Oct 8, 2025Updated 4 months ago
- ☆49Nov 11, 2023Updated 2 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 4 months ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- ☆25Nov 2, 2025Updated 4 months ago
- Static site generator in python☆18Jun 2, 2021Updated 4 years ago
- Distributed cross-network remote debugging for Python☆37Oct 17, 2022Updated 3 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Feb 26, 2026Updated last week
- Source code of: "Manifold learning-based polynomial chaos expansions for high-dimensional surrogate models".☆38Jun 14, 2022Updated 3 years ago
- MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunx…☆26Apr 9, 2025Updated 10 months ago
- ☆21Nov 18, 2022Updated 3 years ago
- The Python toolkit for computing with string diagrams.☆407Feb 26, 2026Updated last week
- benchmarking e-graph extraction☆50Feb 2, 2026Updated last month
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 6 months ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Apr 7, 2014Updated 11 years ago
- Implicit MLE: Backpropagating Through Discrete Exponential Family Distributions☆259Oct 29, 2023Updated 2 years ago
- Lightweight optimization with local, global, population-based and sequential techniques across mixed search spaces☆1,261Feb 28, 2026Updated last week
- A toolkit for SAT-based prototyping in Python☆446Feb 25, 2026Updated last week
- Source code of "Grid-to-Graph: Flexible Spatial Relational Inductive Biases for Reinforcement Learning" (AAMAS 2021).☆29Aug 19, 2021Updated 4 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆306Feb 4, 2026Updated last month
- ☆10Jul 16, 2021Updated 4 years ago