Interview based DSA problems.
A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping
Binomial distribution cumulative distribution function (CDF).
Beta distribution.
Beta distribution probability density function (PDF).
Natural logarithm of the probability density function (PDF) for a chi-squared distribution.
Beta distribution constructor.
Inverse gamma distribution mode.
Public part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security
Gamma distribution differential entropy.
Discrete uniform distribution constructor.
Gamma distribution expected value.
Inverse gamma distribution variance.
Chi distribution.
Uniform distribution median.
Triangular distribution skewness.
Gamma distribution skewness.
Add a description, image, and links to the prob topic page so that developers can more easily learn about it.
To associate your repository with the prob topic, visit your repo's landing page and select "manage topics."