scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆370Updated last month
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.☆349Updated 3 months ago
- A scalable abstraction learning library☆80Updated this week
- LLM verified with Monte Carlo Tree Search☆276Updated 2 months ago
- An inductive logic programming system☆228Updated 2 weeks ago
- [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☆267Updated last week
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆240Updated 10 months ago
- a categorical deep learning compiler☆202Updated 3 months ago
- Polynomial-time Meta-Interpretive Learning☆127Updated 4 months ago
- A Low Barrier Proof Assistant☆113Updated this week
- Datalog with support for SMT queries and first-order functional programming☆158Updated 7 months ago
- Reproduction Package for the paper "back arrowBack to Author Console Type-Constrained Code Generation with Language Models" [PLDI 2025]☆55Updated 2 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago
- Diffusion on syntax trees for program synthesis☆459Updated 11 months ago
- Python interface for SWI-Prolog☆49Updated 2 months ago
- egraphs + datalog!☆550Updated last week
- Neurosymbolic Library☆25Updated this week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆212Updated this week
- ☆82Updated 8 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆305Updated this week
- Metagol - an inductive logic programming system☆202Updated 3 years ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆293Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆132Updated 7 months ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 9 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- ☆37Updated 7 months ago
- General-purpose program synthesiser☆45Updated 8 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆382Updated 3 months ago
- Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".☆368Updated last year