scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆428Updated 7 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.☆385Updated 2 months ago
- An inductive logic programming system☆248Updated 2 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆283Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆311Updated last month
- a categorical deep learning compiler☆205Updated 2 months ago
- Polynomial-time Meta-Interpretive Learning☆131Updated 10 months ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- A scalable abstraction learning library☆83Updated 3 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 6 months ago
- Differentiable probabilistic answer set programming☆27Updated 5 months ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆232Updated 3 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 8 months ago
- A Low Barrier Proof Assistant☆144Updated this week
- Metagol - an inductive logic programming system☆206Updated 4 years ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆48Updated last year
- egraphs + datalog!☆652Updated this week
- Neurosymbolic Library☆28Updated last month
- Datalog with support for SMT queries and first-order functional programming☆165Updated 3 weeks ago
- ☆87Updated last year
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆303Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆321Updated 5 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- ☆43Updated last month
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated 2 weeks ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- Language based on Rewriting Logic☆152Updated last week
- ☆38Updated last year