Alternatives and similar repositories for scallop:

Users that are interested in scallop are comparing it to the libraries listed below

• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆213Updated last week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆331Updated 3 months ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆217Updated 6 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated last week
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆75Updated last year
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆206Updated 3 weeks ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆39Updated 3 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆197Updated 2 years ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆21Updated this week
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆61Updated 5 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 3 weeks ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆82Updated 3 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆55Updated 3 months ago
• ilaspltd / ILASP-releases
  ☆37Updated 3 months ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆117Updated 2 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆38Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆165Updated last year
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆264Updated last week
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆21Updated 9 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated this week
• asolarlez / sketch-backend
  ☆39Updated 4 months ago
• openai / lean-gym
  ☆180Updated 2 years ago
• google-research / crossbeam
  ☆43Updated last year
• asolarlez / sketch-frontend
  ☆34Updated 4 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆249Updated 2 weeks ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆99Updated 4 months ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆42Updated 2 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆129Updated 3 months ago