Standard library
This library is maintained by Giulia Meuli, with major contributions by Dr. Mathias Soeken.