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

doc/index.html

zar

API

Library zar

OCaml

Innovation. Community. Security.