scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆405Updated 5 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.☆376Updated 2 weeks ago
- An inductive logic programming system☆236Updated last week
- a categorical deep learning compiler☆204Updated 2 weeks ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆266Updated last year
- [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☆299Updated last week
- A scalable abstraction learning library☆81Updated last month
- Polynomial-time Meta-Interpretive Learning☆128Updated 8 months ago
- LLM verified with Monte Carlo Tree Search☆281Updated 6 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆73Updated 4 months ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆300Updated 3 weeks ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆222Updated last month
- egraphs + datalog!☆629Updated this week
- General-purpose program synthesiser☆48Updated 11 months ago
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Differentiable probabilistic answer set programming☆26Updated 3 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Neurosymbolic Library☆27Updated this week
- A Low Barrier Proof Assistant☆135Updated last week
- ☆83Updated 11 months ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- ☆37Updated 11 months ago
- Diffusion on syntax trees for program synthesis☆475Updated last year
- Temporary repository for Kind2's refactor based on HVM2☆280Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- Tactics for discharging Lean goals into SMT solvers.☆228Updated this week
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆116Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated this week