815
The Daml smart contract language
languagedamlhaskellcompilerframework
471
A programming language exclusively designed for cybersecurity
compilergolanguageexperimental