scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆365Updated last month
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☆224Updated 2 weeks ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆343Updated 2 months ago
- LLM verified with Monte Carlo Tree Search☆275Updated 2 months ago
- A scalable abstraction learning library☆78Updated 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…☆237Updated 9 months ago
- a categorical deep learning compiler☆202Updated 3 months ago
- Python interface for SWI-Prolog☆49Updated last month
- A Low Barrier Proof Assistant☆110Updated this week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆210Updated 2 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆261Updated this week
- ☆49Updated 3 weeks ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- ☆82Updated 7 months ago
- Diffusion on syntax trees for program synthesis☆461Updated 11 months ago
- General-purpose program synthesiser☆45Updated 7 months ago
- Datalog with support for SMT queries and first-order functional programming☆157Updated 7 months ago
- Logic programming in Rust☆467Updated 3 weeks ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- Temporary repository for Kind2's refactor based on HVM2☆282Updated 8 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 3 years ago
- Metamath Zero specification language☆341Updated 2 weeks ago
- Straightforward unification in Python that's extensible via generic functions.☆50Updated 9 months ago
- egraphs + datalog!☆542Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆303Updated 6 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆62Updated 3 months ago
- A domain-specific probabilistic programming language for reasoning about reasoning☆76Updated this week
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- An introduction to theorem proving in Lean for the impatient.☆198Updated 2 weeks ago
- ☆496Updated 11 months ago