Skip to content
@tamarin-prover

Tamarin prover

Popular repositories Loading

  1. tamarin-prover tamarin-prover Public

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

    Haskell 426 136

  2. teaching teaching Public

    Teaching materials related to the Tamarin Prover

    65 7

  3. manual manual Public

    Tamarin prover manual: source files

    24 39

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

    Source repository for the tamarin-prover.github.io github pages.

    HTML 5 4

  5. vscode-tamarin vscode-tamarin Public

    Forked from hugotvn/vscode-tamarin

    A VSCode plugin for Tamarin files

    TypeScript 5 4

  6. homebrew-tap homebrew-tap Public

    Homebrew tap for installing the Tamarin prover

    Ruby 4 7

Repositories

Showing 9 of 9 repositories
  • manual Public

    Tamarin prover manual: source files

    tamarin-prover/manual’s past year of commit activity
    24 39 20 0 Updated Dec 10, 2024
  • 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 426 GPL-3.0 136 108 8 Updated Dec 10, 2024
  • 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
  • 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 10 6 1 Updated Aug 21, 2024
  • teaching Public

    Teaching materials related to the Tamarin Prover

    tamarin-prover/teaching’s past year of commit activity
    65 7 4 0 Updated Aug 6, 2024
  • tamarin-prover.github.io Public

    Source repository for the tamarin-prover.github.io github pages.

    tamarin-prover/tamarin-prover.github.io’s past year of commit activity
    HTML 5 4 0 0 Updated Mar 24, 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 1 GPL-3.0 2 0 0 Updated Apr 26, 2020

Top languages

Loading…

Most used topics

Loading…