Rvent A progressive reaction library imperative reactive programming -> objective reactive programming -> functional reactive programming