package zar

  1. Overview
  2. Docs
Formally verified sampling from discrete probability distributions

Install

Dune Dependency

Authors

Maintainers

Sources

zar-0.9.2.tbz
sha256=2a7a509909c8f6c477a17729098d7ae4d3a6c3dea2eb711079abe751d3cd95a0
sha512=501aae0bae51d4a48fbc96118641d1eb5ca414cb187cf007cf9f5308b9a34226ba571a3c6019aa008d1afb85735fe389263d54289d75416377745a6f09e4f2b8

CHANGES.md.html

0.9.2 (2023-04-10)

  • API change: include Stream module in root Zar module.

0.9.1 (2023-04-04)

  • Fix qcheck tests for 32-bit systems and reorganize modules and interface to use streams.

0.9 (2023-04-01)

  • Initial release. Includes coin, die, and findist samplers with QCheck tests for numeric conversion functions.

OCaml

Innovation. Community. Security.