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.

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.

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

Discrete uniform distribution constructor.

Show B parse and type errors in vim

Inverse gamma distribution mode.

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

Inverse gamma distribution variance.

Gamma distribution expected value.

Triangular distribution skewness.

Uniform distribution median.

Chi distribution.

Degenerate distribution logarithm of probability density function (logPDF).