scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆403Updated 3 months ago
Alternatives and similar repositories for scallop
Users that are interested in scallop are comparing it to the libraries listed below
Sorting:
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆363Updated this week
- An inductive logic programming system☆236Updated 2 weeks ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆255Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆291Updated this week
- a categorical deep learning compiler☆203Updated 6 months ago
- A scalable abstraction learning library☆81Updated last week
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- egraphs + datalog!☆588Updated this week
- LLM verified with Monte Carlo Tree Search☆280Updated 5 months ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆217Updated last week
- Datalog with support for SMT queries and first-order functional programming☆162Updated 3 weeks ago
- Metagol - an inductive logic programming system☆204Updated 3 years ago
- A Low Barrier Proof Assistant☆123Updated last week
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆69Updated 2 months ago
- ☆83Updated 10 months ago
- Differentiable probabilistic answer set programming☆26Updated 2 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- General-purpose program synthesiser☆47Updated 10 months ago
- Datalog that's as easy as ABC.☆61Updated last week
- Tactics for discharging Lean goals into SMT solvers.☆218Updated this week
- ☆37Updated 9 months ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 11 months ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆294Updated 2 weeks ago
- ☆44Updated 10 months ago
- ☆43Updated last month
- A curated list of awesome Category Theory resources.☆122Updated 4 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago