scallop-lang / scallop-old

Related projects ⓘ

Alternatives and complementary repositories for scallop-old

• google-research / crossbeam
  ☆43Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• harp-lab / gdlog
  ☆75Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆215Updated 2 months ago
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆53Updated 3 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆74Updated 11 months ago
• UCSD-PL / proverbot9001
  ☆39Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 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
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆45Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆30Updated 3 years ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆48Updated 3 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆30Updated 4 years ago
• rohanmukh / nsg
  ☆20Updated 2 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 5 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆80Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• riswords / quiche
  ☆22Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆103Updated 3 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 5 months ago
• CatherineWong / dreamcoder
  ☆53Updated 2 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year