A purely functional animated GUI framework - View it on GitHub