package zar

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

Install

github.com Readme Changelog MIT License Edit opam file

Authors

  1. A
    Alexander Bagnall

Maintainers

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

Sources

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

Description

See the paper (to appear in PLDI'23) and Github repository.

Tags

zar random sampler verified coq discrete

Published: 12 Apr 2023

Dependencies (2)

  1. dune >= "3.7"
  2. ocaml >= "4.08"

Dev Dependencies (4)

  1. odoc with-doc
  2. qcheck-alcotest with-test
  3. qcheck with-test
  4. alcotest with-test

Used by

None

Conflicts

None