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.

Beta distribution probability density function (PDF).

Beta distribution constructor.

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.

Discrete uniform distribution constructor.

Show B parse and type errors in vim

Inverse gamma distribution variance.

Arcsine distribution skewness.

Degenerate distribution.

Cauchy distribution quantile function.

Beta prime distribution.

Binomial distribution quantile function.

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

Uniform distribution median.

Triangular distribution skewness.

Beta distribution differential entropy.

Pareto (Type I) distribution excess kurtosis.

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

Beta prime distribution probability density function (PDF).

Beta distribution variance.

Raised cosine distribution.

F distribution constructor.

Triangular distribution standard deviation.