GitHub repository: Alexander-Molotkov/Crypt0
Primary language: Haskell
Description: Crypt0: statically typed programming language with password-locked executables.