randdist (pypi): A random number generator with custom probability distribution function
Keywords: distribution-function|python|python3|random|random-generation|random-number-generators