Repositories list

• tamarin-prover

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

  Haskell

  •

  GNU General Public License v3.0

  •162162 forks•515515 stars•121121 issues•1717 pull requests•Updated Apr 7, 2026Apr 7, 2026

• manual

  Public
  [Obsolete] Tamarin prover manual: source files

  3939 forks•2525 stars•1919 issues•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• tamarin-prover.github.io

  Public
  Source repository for the Tamarin prover website.

  HTML

  •77 forks•55 stars•00 issues•00 pull requests•Updated Mar 13, 2026Mar 13, 2026

• homebrew-tap

  Public
  Homebrew tap for installing the Tamarin prover

  Ruby

  •77 forks•44 stars•00 issues•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• binaries

  Public
  Binary files

  11 fork•00 stars•00 issues•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• batch-tamarin

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

  batch-processingtamarin-prover

  batch-processingtamarin-prover

  Python

  •

  GNU General Public License v3.0

  •33 forks•55 stars•99 issues•11 pull request•Updated Feb 13, 2026Feb 13, 2026

• vscode-tamarin

  Public
  A VSCode plugin for Tamarin files

  TypeScript

  •

  MIT License

  •1212 forks•77 stars•55 issues•22 pull requests•Updated Aug 1, 2025Aug 1, 2025

• teaching

  Public
  Teaching materials related to the Tamarin Prover

  66 forks•7272 stars•44 issues•00 pull requests•Updated Aug 6, 2024Aug 6, 2024

• editors

  Public
  Repository for text editor syntax highlighting

  Vim Script

  •

  GNU General Public License v3.0

  •55 forks•22 stars•11 issue•00 pull requests•Updated Feb 15, 2024Feb 15, 2024

• editor-sublime

  Public
  Repository for text editor (sublime) syntax highlighting

  Python

  •

  GNU General Public License v3.0

  •22 forks•22 stars•00 issues•00 pull requests•Updated Apr 26, 2020Apr 26, 2020