package zar

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

Install

Dune Dependency

Authors

Maintainers

Sources

zar-0.9.3.tbz
sha256=5fcb728b1c22dd8417e6fac5018f18de1b53e03bb008813ba0c6903c6276d8db
sha512=ca40c9ee51bff74ffbae80dd8d84dccee3a9d5e605b2aab965285f1e4f9aadc9cd1c74fc14dcdc331589c3b9aaf1857e4f642273908b196650402cd8e27de707

CHANGES.md.html

0.9.3 (2023-04-10)

  • Use Seq.t instead of stream type, memoize default bit streams, change init/seed functions, and include stateful 'sampler' interface.

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.