GitHub repository: sshine/Verifairy
Primary language: Haskell
Description: A Haskell implementation of VerifPal™, a system for describing and analysing cryptographic protocols