scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆442Updated 9 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.☆393Updated 4 months ago
- An inductive logic programming system☆261Updated 4 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆320Updated this week
- a categorical deep learning compiler☆207Updated 4 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- A scalable abstraction learning library☆84Updated 4 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆294Updated last year
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆79Updated 7 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago
- egraphs + datalog!☆674Updated this week
- A Low Barrier Proof Assistant☆153Updated last week
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆236Updated 5 months ago
- ☆87Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated last year
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- Tactics for discharging Lean goals into SMT solvers.☆255Updated this week
- Differentiable probabilistic answer set programming☆29Updated 7 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- Neurosymbolic Library☆28Updated this week
- Metagol - an inductive logic programming system☆207Updated 4 years ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated last year
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- Diffusion on syntax trees for program synthesis☆481Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆304Updated last week
- ☆39Updated last year