Alternatives and similar repositories for sppl

Users that are interested in sppl are comparing it to the libraries listed below

• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 9 months ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated last year
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆51Updated last year
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆50Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• genjax-community / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆22Updated last year
• trappmartin / BayesianSumProductNetworks
  Implementation of Bayesian Sum-Product Networks
  ☆13Updated 5 years ago
• zenna / Omega.jl
  Causal, Higher-Order, Probabilistic Programming
  ☆176Updated 2 months ago
• genjax-community / genjax
  Probabilistic programming with programmable inference for parallel accelerators.
  ☆40Updated last month
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆75Updated 2 weeks ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆76Updated 3 years ago
• Tractables / Juice.jl
  The Juice package for circuits in artificial intelligence, both logic and probabilistic
  ☆12Updated 3 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 5 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆67Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• Tractables / Alea.jl
  ☆31Updated last month
• lawmurray / Birch
  A probabilistic programming language that combines automatic differentiation, automatic marginalization, and automatic conditioning withi…
  ☆121Updated 10 months ago
• jax-ml / coix
  Inference Combinators in JAX
  ☆52Updated 7 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆70Updated last week
• facebookresearch / pplbench
  Evaluation Framework for Probabilistic Programming Languages
  ☆103Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆50Updated 7 months ago
• probcomp / autoimcmc
  Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"
  ☆14Updated 5 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆26Updated 2 years ago
• vicariousinc / PGMax
  Loopy belief propagation for factor graphs on discrete variables, in JAX!
  ☆65Updated last year
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated 5 months ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆59Updated last year
• biaslab / ForneyLab.jl
  Julia package for automatically generating Bayesian inference algorithms through message passing on Forney-style factor graphs.
  ☆152Updated 2 years ago
• AlgebraicJulia / StockFlow.jl
  ☆76Updated 2 months ago