Skip to content
@tamarin-prover

Tamarin prover

Popular repositories

  1. tamarin-prover tamarin-prover Public

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

    Haskell 392 124

  2. teaching teaching Public

    Teaching materials related to the Tamarin Prover

    59 6

  3. manual manual Public

    Tamarin prover manual: source files

    JavaScript 23 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. homebrew-tap homebrew-tap Public

    Homebrew tap for installing the Tamarin prover

    Ruby 4 7

  6. editors editors Public

    Repository for text editor syntax highlighting

    Vim Script 2 4

Repositories

Showing 8 of 8 repositories
  • 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 392 GPL-3.0 124 104 15 Updated Jun 21, 2024
  • manual Public

    Tamarin prover manual: source files

    tamarin-prover/manual’s past year of commit activity
    JavaScript 23 39 20 0 Updated Jun 4, 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 4 0 0 Updated Feb 15, 2024
  • teaching Public

    Teaching materials related to the Tamarin Prover

    tamarin-prover/teaching’s past year of commit activity
    59 6 4 0 Updated Nov 11, 2023
  • 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 Sep 2, 2023
  • 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…