LukasZahradnik / PyNeuraLogicView external linksLinks
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
☆304Jan 22, 2026Updated 3 weeks ago
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 10 months ago
- Framework and Language for Neurosymbolic Programming.☆443May 1, 2025Updated 9 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Aug 9, 2024Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 4 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Nov 21, 2025Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆147Oct 2, 2024Updated last year
- Cell Layout Generation for DTCO/STCO Exploration Toolkit☆22May 24, 2025Updated 8 months ago
- [alpha] Expose Julia functions to PyTorch☆15Aug 9, 2019Updated 6 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- ☆13Sep 8, 2021Updated 4 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☆342Nov 13, 2024Updated last year
- MoodCat😼 classifies the mood of English sentences.☆14Jun 19, 2022Updated 3 years ago
- ☆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
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- In-memory Graph Database and Knowledge Graph with Natural Language Interface, compatible with Pandas☆59Oct 8, 2025Updated 4 months ago
- ☆25Nov 2, 2025Updated 3 months ago
- Distributed cross-network remote debugging for Python☆37Oct 17, 2022Updated 3 years ago
- Static site generator in python☆18Jun 2, 2021Updated 4 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Mar 26, 2025Updated 10 months ago
- 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…☆22Apr 9, 2025Updated 10 months ago
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- The Python toolkit for computing with string diagrams.☆404Dec 31, 2025Updated last month
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- benchmarking e-graph extraction☆49Feb 2, 2026Updated last week
- PyTorch Explain: Interpretable Deep Learning in Python.☆170May 16, 2024Updated last year
- 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
- Simple and reliable optimization with local, global, population-based and sequential techniques in numerical discrete search spaces.☆1,257Updated this week
- A toolkit for SAT-based prototyping in Python☆444Feb 4, 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☆304Feb 4, 2026Updated last week
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- SATZilla SAT feature extraction tool☆11Jan 15, 2026Updated 3 weeks ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago