scallop-lang / scallop-old

Related projects ⓘ

Alternatives and complementary repositories for scallop-old

• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• harp-lab / gdlog
  ☆75Updated 2 weeks ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆209Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated this week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆30Updated 3 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆80Updated last year
• UCSD-PL / proverbot9001
  ☆39Updated 2 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 5 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 7 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆153Updated last week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆64Updated this week
• riswords / quiche
  ☆22Updated last year
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆45Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆102Updated 3 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 3 years ago
• Mondego / dafny-synthesis
  Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆32Updated 5 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆73Updated 11 months ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆48Updated 3 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆67Updated 5 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆30Updated 4 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated last year