swMATH14669MaRDI QIDQ26566FDOQ26566
Author name not available (Why is that?)
Official website: https://github.com/hakaru-dev/hakaru
Source code repository: https://github.com/hakaru-dev/hakaru
Cited In (20)
- Storm
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Commutative semantics for probabilistic programming
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Probabilistic inference by program transformation in Hakaru (system description)
- AQUA: automated quantized inference for probabilistic programs
- MEBN
- Infer.NET
- Church
- MathScheme
- Venture
- NetKAT
- Datafun
- ProbNetKAT
- PR-OWL
- Swift
- PFLP
- Anglican
- Biform theories: project description
- Amber
This page was built for software: Hakaru
