GitHub repository: paulcadman/juvix
Primary language: Haskell
Description: An experimental programming language created by Heliax as a first step toward creating more robust and reliable alternatives for formally verified smart contracts than existing languages.