zarversion
Formally verified sampling from discrete probability distributions
See the paper (to appear in PLDI'23) and Github repository.
| Tags | zar random sampler verified coq discrete |
|---|---|
| Author | Alexander Bagnall |
| License | MIT |
| Published | |
| Homepage | https://github.com/bagnalla/ocamlzar |
| Issue Tracker | https://github.com/bagnalla/ocamlzar/issues |
| Maintainer | Alexander Bagnall <abagnalla@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/bagnalla/ocamlzar/releases/download/0.9.2/zar-0.9.2.tbz sha256=2a7a509909c8f6c477a17729098d7ae4d3a6c3dea2eb711079abe751d3cd95a0 sha512=501aae0bae51d4a48fbc96118641d1eb5ca414cb187cf007cf9f5308b9a34226ba571a3c6019aa008d1afb85735fe389263d54289d75416377745a6f09e4f2b8 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zar/zar.0.9.2/opam |
No package is dependent
