GitHub repository: kmilner/tamarin-prover
Primary language: Haskell
Description: Main repository of the Tamarin prover for security protocol verification.