Half-normal distribution (source code)

= Half-normal distribution
{wiki}

The absolute value of a standard normal random variable has density
$$
\sqrt{\frac2\pi}e^{-x^2/2}\mathbf1_{x\geq0}.
$$