scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆380Updated 2 months ago
Alternatives and similar repositories for scallop
Users that are interested in scallop are comparing it to the libraries listed below
Sorting:
- An inductive logic programming system☆231Updated last month
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆356Updated 4 months ago
- a categorical deep learning compiler☆203Updated 4 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆247Updated 11 months ago
- A scalable abstraction learning library☆80Updated this week
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆272Updated last month
- LLM verified with Monte Carlo Tree Search☆276Updated 3 months ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆214Updated 3 weeks ago
- Metagol - an inductive logic programming system☆203Updated 3 years ago
- A Low Barrier Proof Assistant☆114Updated this week
- egraphs + datalog!☆555Updated 2 weeks ago
- ☆82Updated 8 months ago
- Datalog with support for SMT queries and first-order functional programming☆158Updated this week
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆63Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆176Updated 4 years ago
- Diffusion on syntax trees for program synthesis☆467Updated last year
- Pedagogical first-order prover in Python☆76Updated last month
- ☆37Updated 8 months ago
- A domain-specific probabilistic programming language for reasoning about reasoning☆84Updated last week
- Differentiable probabilistic answer set programming☆23Updated 3 weeks ago
- ☆43Updated 5 months ago
- Tactics for discharging Lean goals into SMT solvers.☆204Updated last month
- ☆44Updated 9 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated last week
- General-purpose program synthesiser☆46Updated 8 months ago
- Language based on Rewriting Logic☆127Updated this week