Alternatives and similar repositories for credici

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

• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• darrenjw / logreg
  Bayesian inference for a logistic regression model in various languages
  ☆42Updated 2 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• mgorinova / autoreparam
  Automatic Reparameterisation of Probabilistic Programs
  ☆36Updated 5 years ago
• davidar / stochaskell
  ☆14Updated 2 years ago
• trappmartin / BayesianSumProductNetworks
  Implementation of Bayesian Sum-Product Networks
  ☆13Updated 5 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• jax-ml / coix
  Inference Combinators in JAX
  ☆50Updated 3 months ago
• mgorinova / SlicStan
  A Stan-like probabilistic programming language.
  ☆68Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• unitn-sml / wmi-pa
  Efficient WMI via SMT-Based Predicate Abstraction
  ☆25Updated 2 weeks ago
• posterior / treecat
  A Bayesian latent tree model of high-dimensional heterogeneous data
  ☆23Updated 7 years ago
• hongseok-yang / probprog17
  ☆28Updated 7 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 5 months ago
• pyro-ppl / pyroed
  Bayesian optimization of discrete sequences
  ☆21Updated 3 years ago
• AlgebraicJulia / StockFlow.jl
  ☆69Updated last week
• ermongroup / SPN_Variational_Inference
  PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020
  ☆17Updated 3 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆62Updated last year
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• genjax-community / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆20Updated last year
• probsys / AutoGP.jl
  Automated Bayesian model discovery for time series data
  ☆80Updated this week
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated last year
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• rgiordan / vittles
  "Variational inference tools to leverage estimator sensitivity."
  ☆16Updated 2 years ago
• pyro-ppl / pyro-models
  Repository of models in Pyro
  ☆30Updated last year
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• brencej / ProGED
  equation discovery based on generative models
  ☆20Updated 4 months ago