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.

Beta distribution.

Inverse gamma distribution mode.

Beta distribution probability density function (PDF).

Gamma distribution differential entropy.

Beta distribution constructor.

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.

Show B parse and type errors in vim

Triangular distribution skewness.

Uniform distribution median.

F distribution variance.

Beta prime distribution constructor.

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

Binomial distribution quantile function.