SHoltzen / dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
☆83Updated last year
Alternatives and similar repositories for dice:
Users that are interested in dice are comparing it to the libraries listed below
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 6 months ago
- ☆18Updated 3 weeks ago
- Logic Circuits from the Juice library☆48Updated 7 months ago
- Compiler with automatic differentiation☆46Updated last year
- Probabilistic Circuits from the Juice library☆103Updated 7 months ago
- Performant and safe knowledge compilation in rust☆25Updated 3 months ago
- Convex optimization modeling in Lean 4☆43Updated 7 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 6 months ago
- ☆21Updated last year
- A Haskell probabilistic programming library.☆18Updated 3 weeks ago
- Experimentation framework for Popper☆21Updated 8 months ago
- Causal, Higher-Order, Probabilistic Programming☆164Updated last year
- An interactive theorem prover for string diagrams☆109Updated 3 months ago
- A graphical editor for graph-like structures☆98Updated last year
- Theory and Applications of Lenses and Optics☆54Updated 2 years ago
- ☆14Updated last year
- ☆27Updated 3 years ago
- ☆16Updated 4 years ago
- Dice Language Support for VS Code☆10Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- ☆21Updated 2 years ago
- Implementation of higher-order logic in Python☆62Updated last year
- Accelerated machine learning with dependent types☆84Updated this week
- Very controlled natural language tactics for Lean☆62Updated last year
- Learning Algebraic Varieties from Samples☆24Updated last year
- Relational Algebra, now with more algebra!☆49Updated 3 months ago
- Building dynamical systems compositionally☆68Updated 3 months ago
- ☆49Updated 2 years ago
- Python talking to the Lean theorem prover☆41Updated 3 years ago
- Probabilistic Circuits in Julia☆9Updated last year