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