Skip to content
@tamarin-prover

Tamarin prover

A tool for the formal analysis of security protocols

Popular repositories Loading

  1. tamarin-prover tamarin-prover Public

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

    Haskell 480 150

  2. teaching teaching Public

    Teaching materials related to the Tamarin Prover

    71 6

  3. manual manual Public

    [Obsolete] Tamarin prover manual: source files

    24 39

  4. tamarin-prover.github.io tamarin-prover.github.io Public

    Source repository for the Tamarin prover website.

    HTML 5 7

  5. vscode-tamarin vscode-tamarin Public

    Forked from hugotvn/vscode-tamarin

    A VSCode plugin for Tamarin files

    TypeScript 5 5

  6. homebrew-tap homebrew-tap Public

    Homebrew tap for installing the Tamarin prover

    Ruby 4 7

Repositories

Showing 10 of 10 repositories
  • batch-tamarin Public

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

    tamarin-prover/batch-tamarin’s past year of commit activity
    Python 3 GPL-3.0 1 7 (2 issues need help) 0 Updated Nov 1, 2025
  • manual Public

    [Obsolete] Tamarin prover manual: source files

    tamarin-prover/manual’s past year of commit activity
    24 39 19 0 Updated Oct 13, 2025
  • tamarin-prover Public

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

    tamarin-prover/tamarin-prover’s past year of commit activity
    Haskell 480 GPL-3.0 150 128 10 Updated Oct 13, 2025
  • tamarin-prover.github.io Public

    Source repository for the Tamarin prover website.

    tamarin-prover/tamarin-prover.github.io’s past year of commit activity
    HTML 5 7 0 1 Updated Sep 1, 2025
  • vscode-tamarin Public Forked from hugotvn/vscode-tamarin

    A VSCode plugin for Tamarin files

    tamarin-prover/vscode-tamarin’s past year of commit activity
    TypeScript 5 MIT 11 5 0 Updated Aug 1, 2025
  • homebrew-tap Public

    Homebrew tap for installing the Tamarin prover

    tamarin-prover/homebrew-tap’s past year of commit activity
    Ruby 4 7 0 0 Updated Oct 30, 2024
  • teaching Public

    Teaching materials related to the Tamarin Prover

    tamarin-prover/teaching’s past year of commit activity
    71 6 4 0 Updated Aug 6, 2024
  • editors Public

    Repository for text editor syntax highlighting

    tamarin-prover/editors’s past year of commit activity
    Vim Script 2 GPL-3.0 5 1 0 Updated Feb 15, 2024
  • binaries Public

    Binary files

    tamarin-prover/binaries’s past year of commit activity
    0 1 0 0 Updated Apr 29, 2022
  • editor-sublime Public

    Repository for text editor (sublime) syntax highlighting

    tamarin-prover/editor-sublime’s past year of commit activity
    Python 2 GPL-3.0 2 0 0 Updated Apr 26, 2020

Top languages

Loading…

Most used topics

Loading…