
Elm
Domain-specific programming language for declaratively creating web browser-based graphical user interfaces

Typeable
Functional programming, High assurance, Consulting
17
Domain-specific programming language for declaratively creating web browser-based graphical user interfaces