Logic Programming in Python
☆31Sep 28, 2021Updated 4 years ago
Alternatives and similar repositories for kanren-old
Users that are interested in kanren-old are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆248Aug 22, 2025Updated last year
- ☆10Aug 25, 2020Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Kanren with databases☆44Jul 30, 2024Updated 2 years ago
- a datalog implementation in Python☆319Jun 13, 2026Updated 2 months ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆65Mar 20, 2024Updated 2 years ago
- ☆18Jul 26, 2020Updated 6 years ago
- Fast Gradient Boosting Decision Trees with Bit-Level Data Structures☆18Aug 2, 2022Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- A Benchmark for Machine Learning from Structured Data☆23Nov 2, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Logic Programming in Python☆934Oct 23, 2025Updated 10 months ago
- Tweetnacl's ed25519 signatures, ported to WebAssembly☆14Apr 15, 2024Updated 2 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated last year
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆17Jul 27, 2026Updated last month
- Relational data mining in python☆32Nov 16, 2022Updated 3 years ago
- Arithmetic coding library☆17Updated this week
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- Reasoning over weighted algebraic and logical constraints☆26Apr 30, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆13Aug 19, 2017Updated 9 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆11Updated this week
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Jun 17, 2026Updated 2 months ago
- Kedro-Accelerator speeds up pipelines by parallelizing I/O in the background.☆36Apr 13, 2022Updated 4 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- ☆12Sep 29, 2021Updated 4 years ago
- Prebuilt versions of V8 using GitHub Actions☆16Dec 14, 2019Updated 6 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 3 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Sep 11, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆17Jun 24, 2020Updated 6 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Dec 22, 2021Updated 4 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- Modular decomposition of directed graphs☆13Aug 25, 2026Updated last week
- Source for lemon-model.net☆14Jan 27, 2022Updated 4 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- BDD based DQBF solver☆13Dec 8, 2022Updated 3 years ago