I've been using simple animations in a CS1 course using the Elmish/model-view-update style in OCaml. In the spring I'll be teaching CS1 in Python. Does anyone know of a reasonable Elmish/MVU library for Python?