9409
A language for writing HTML user interfaces in Go.
templatinggocompilerhtmlcodegen
815
The Daml smart contract language
languagedamlhaskellcompilerframework
471
A programming language exclusively designed for cybersecurity
compilergolanguageexperimental