ITasks

[https://clean.cs.ru.nl/ITasks]

This latest version features: A highly declarative API for specification of interactive systems as task compositions.