Interview based DSA problems.

B-specification of a Robot moving around a simple Maze, using the B tools (Atelier B & ProB)

Binomial distribution cumulative distribution function (CDF).

Test if a numeric value is a probability.

Gamma distribution differential entropy.

Beta distribution probability density function (PDF).

Inverse gamma distribution mode.

Gamma distribution expected value.

Natural logarithm of the probability density function (PDF) for a chi-squared distribution.

Discrete uniform distribution constructor.

Inverse gamma distribution variance.

Beta distribution constructor.

Show B parse and type errors in vim

Uniform distribution median.

Triangular distribution skewness.

Beta prime distribution probability density function (PDF).

Beta distribution variance.

Kumaraswamy's double bounded distribution probability density function (PDF).

Test if a value is an array of probabilities that sum to one.

Binomial distribution quantile function.