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