Alternatives and similar repositories for scallop-old:

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

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• harp-lab / gdlog
  ☆79Updated 4 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• UCSD-PL / proverbot9001
  ☆40Updated last month
• google-research / crossbeam
  ☆43Updated last year
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 weeks ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated last week
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆241Updated 2 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• lorepozo / program-induction
  A library for program induction and learning representations.
  ☆30Updated last year
• riswords / quiche
  ☆21Updated 2 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 5 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 11 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 9 months ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 6 months ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆78Updated last week