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.

Inverse gamma distribution mode.

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

Gamma distribution differential entropy.

Gamma distribution expected value.

Beta distribution probability density function (PDF).

Discrete uniform distribution constructor.

Beta distribution constructor.

Inverse gamma distribution variance.

Show B parse and type errors in vim

Triangular distribution skewness.

Uniform distribution median.

Uniform distribution variance.

Gamma distribution mode.

Negative binomial distribution constructor.

Binomial distribution quantile function.

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