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
  ☆66Updated last year
• harp-lab / gdlog
  ☆82Updated 9 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 9 months ago
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 5 months ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆50Updated 2 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 4 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 5 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆81Updated last year
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆22Updated last week
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated last week
• UCSD-PL / proverbot9001
  ☆43Updated last week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 4 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆386Updated 3 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆64Updated last week
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago