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