zarversion Documentation on ocaml.org
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.3/zar-0.9.3.tbz sha256=5fcb728b1c22dd8417e6fac5018f18de1b53e03bb008813ba0c6903c6276d8db sha512=ca40c9ee51bff74ffbae80dd8d84dccee3a9d5e605b2aab965285f1e4f9aadc9cd1c74fc14dcdc331589c3b9aaf1857e4f642273908b196650402cd8e27de707 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zar/zar.0.9.3/opam |
No package is dependent
