817
The Daml smart contract language
languagedamlhaskellcompilerframework
472
A programming language exclusively designed for cybersecurity
compilergolanguageexperimental