Alternatives and similar repositories for scallop-old

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

• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• harp-lab / gdlog
  ☆86Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last month
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• HnimNart / deeplearning
  ☆53Updated 2 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆48Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 2 months ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 4 years ago
• UCSD-PL / proverbot9001
  ☆43Updated 3 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 7 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆69Updated 3 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆20Updated 2 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆417Updated 6 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆77Updated 5 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated 2 weeks ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆24Updated 2 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆30Updated 3 weeks ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated last month
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆130Updated 9 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆243Updated last month
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 8 months ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆53Updated 2 months ago
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 4 years ago