SHoltzen / dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
☆83Updated last month
Alternatives and similar repositories for dice:
Users that are interested in dice are comparing it to the libraries listed below
- ☆20Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- Probabilistic Circuits from the Juice library☆106Updated 10 months ago
- Logic Circuits from the Juice library☆48Updated 10 months ago
- Performant and safe knowledge compilation in rust☆27Updated 6 months ago
- Python package for Sentential Decision Diagrams (SDD)☆58Updated 2 months ago
- A Haskell probabilistic programming library.☆19Updated this week
- Compiler with automatic differentiation☆48Updated last year
- ☆25Updated 2 years ago
- ☆47Updated 11 months ago
- A scalable abstraction learning library☆78Updated last year
- Convex optimization modeling in Lean 4☆45Updated 11 months ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Dice Language Support for VS Code☆10Updated 4 years ago
- ☆49Updated 2 years ago
- A graphical editor for graph-like structures☆98Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆47Updated 11 months ago
- Very controlled natural language tactics for Lean☆62Updated last year
- ☆17Updated 2 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆13Updated 4 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Building dynamical systems compositionally☆69Updated 6 months ago
- Probabilistic programming with programmable variational inference.☆20Updated 10 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆73Updated this week
- An interactive theorem prover for string diagrams☆113Updated 6 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- ☆18Updated 2 weeks ago