Hakaru

MaRDI QIDQ26566swMATHFDO

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

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

Cited in

(20)

• MEBN
• Biform theories: project description
• Infer.NET
• Church
• AQUA: automated quantized inference for probabilistic programs
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• Venture
• MathScheme
• Probabilistic inference by program transformation in Hakaru (system description)
• NetKAT
• Contextual equivalence for probabilistic programs with continuous random variables and scoring
• Commutative semantics for probabilistic programming
• Datafun
• ProbNetKAT
• PR-OWL
• Swift
• PFLP
• Anglican
• Storm
• Amber

This page was built for software: Hakaru