threepenny-gui-0.8.3.1: GUI framework that uses the web browser as a display.