Popular repositories Loading

1. tamarin-prover tamarin-prover Public

   Main source code repository of the Tamarin prover for security protocol verification.

   Haskell 505 159

2. teaching teaching Public

   Teaching materials related to the Tamarin Prover

   71 6

3. manual manual Public

   [Obsolete] Tamarin prover manual: source files

   25 39

4. vscode-tamarin vscode-tamarin Public

   Forked from hugotvn/vscode-tamarin

   A VSCode plugin for Tamarin files

   TypeScript 7 6

5. tamarin-prover.github.io tamarin-prover.github.io Public

   Source repository for the Tamarin prover website.

   HTML 5 7

6. batch-tamarin batch-tamarin Public

   A Python package that enables batch execution of tamarin-prover tasks with JSON configuration files and comprehensive reporting.

   Python 5 2