When you just have to implement everything
Basic utility functions for randomization in Scala
Axiomatic set theory, computerized