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