fzaiser / genfer
Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
☆25Updated 5 months ago
Alternatives and similar repositories for genfer:
Users that are interested in genfer are comparing it to the libraries listed below
- A verified tensor library in Lean☆22Updated 3 weeks ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated last week
- ☆16Updated last year
- A Haskell probabilistic programming library.☆19Updated last month
- egraph <-> json☆13Updated 6 months ago
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Reversible programming in Agda