Hakaru

MaRDI QIDQ26566swMATHFDO

Official website https://github.com/hakaru-dev/hakaru

Source code repository https://github.com/hakaru-dev/hakaru

Cited in

(20)

• 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
• Amber
• Biform theories: project description
• Storm

This page was built for software: Hakaru