A set of simple stochastic simulations, some including proofs and interactive parameters.