WUI
WUIjs
Libraries to support the type-oriented construction of web user interfaces
Detailed package documentation (available shortly after this version has been published)