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).

Beta distribution.

Test if a numeric value is a probability.

Beta distribution probability density function (PDF).

Gamma distribution expected value.

Gamma distribution differential entropy.

Inverse gamma distribution mode.

Beta distribution constructor.

Discrete uniform distribution constructor.

Show B parse and type errors in vim

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

Inverse gamma distribution variance.

Uniform distribution median.

Triangular distribution skewness.

Negative binomial distribution constructor.

Inverse gamma distribution expected value.

Test if a value is a probability.

Kumaraswamy's double bounded distribution median.