GitHub repository: kquick/cryptol
Primary language: Haskell
Description: Cryptol: The Language of Cryptography