dice

probabilistic programming language focused on fast exact inference for discrete probabilistic programs

Application domain/field

Probabilistic programming

Type of tool

Language

Links

https://github.com/SHoltzen/dice

Last commit date

22 April 2022

Related papers

https://arxiv.org/abs/2005.09089 (OOPSLA 2004)

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.