prob

Interview based DSA problems.

A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping

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

Gamma distribution differential entropy.

Test if a numeric value is a probability.

Binomial distribution cumulative distribution function (CDF).

Beta distribution.

Beta distribution constructor.

Public part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security

Beta distribution probability density function (PDF).

Discrete uniform distribution constructor.

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

Show B parse and type errors in vim

Inverse gamma distribution mode.

Inverse gamma distribution variance.

Gamma distribution expected value.

Uniform distribution median.

Triangular distribution skewness.

Chi distribution.

F distribution variance.