scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆404Updated 4 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.☆371Updated 3 weeks ago
- An inductive logic programming system☆237Updated last month
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆296Updated this week
- a categorical deep learning compiler☆205Updated this week
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆259Updated last year
- A scalable abstraction learning library☆81Updated last week
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆70Updated 3 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 7 months ago
- LLM verified with Monte Carlo Tree Search☆282Updated 5 months ago
- egraphs + datalog!☆618Updated this week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆220Updated last month
- Python interface for SWI-Prolog☆49Updated last week
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- A Low Barrier Proof Assistant☆126Updated this week
- Temporary repository for Kind2's refactor based on HVM2☆280Updated 11 months ago
- Datalog with support for SMT queries and first-order functional programming☆162Updated this week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- General-purpose program synthesiser☆47Updated 10 months ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆294Updated last week
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- ☆83Updated 11 months ago
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- Tactics for discharging Lean goals into SMT solvers.☆221Updated this week
- Diffusion on syntax trees for program synthesis☆473Updated last year
- Differentiable probabilistic answer set programming☆26Updated 2 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆656Updated 3 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Rewriting Principia Mathematica in Lean☆134Updated last week