A scheduler implemented in Python