package zar

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

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (3)

Authors

  1. A
    Alexander Bagnall

Maintainers

  1. A
    Alexander Bagnall <abagnalla@gmail.com>

Sources

zar-0.9.1.tbz
sha256=e936ec75c3f8eaffd2dccd89898065e3d295f06f3ce75239985f1f838a125d0f
sha512=2b18e26bd8522546e4373c5b2a57bdb05ccb9674e7c97d6f1cb708e9512f382264401e0e8ec05112800f498b240640b81c8cd4fd7fb05985a66e70e9573b0549

CHANGES.md.html

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.