Alternatives and similar repositories for scallop-old

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

• google-research / crossbeam
  ☆43Updated 2 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 3 years ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆45Updated 7 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆79Updated this week
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆20Updated this week
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• lorepozo / program-induction
  A library for program induction and learning representations.
  ☆30Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆80Updated 11 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last week
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆370Updated last month
• 51alg / TerpreT
  ☆43Updated 7 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 4 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 months ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated last week
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 3 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 3 months ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 2 months ago
• UCSD-PL / proverbot9001
  ☆42Updated 5 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month