Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "zar" keyword

zarpy 1.0.1

Formally verified biased coin and n-sided die
4 versions - Latest release: about 1 year ago - 53 downloads last month - 4 stars on GitHub - 1 maintainer

Related Keywords

zarpy 1 random 1 sampler 1 biased 1 coin 1 bernoulli 1 uniform 1 die 1 verified 1 coq 1 compiler 1 formal-verification 1 probabilistic-programming 1 sampling 1