Alternatives and similar repositories for scallop-old:

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

• harp-lab / gdlog
  ☆79Updated 3 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• UCSD-PL / proverbot9001
  ☆40Updated last month
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• riswords / quiche
  ☆21Updated last year
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆236Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆74Updated last month
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆17Updated 2 weeks ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆18Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 3 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆75Updated last year
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆74Updated last year
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 8 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last week
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆164Updated 3 weeks ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆195Updated 9 months ago