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