Skip to content

@tamarin-prover Tamarin prover

Change the repository type filter

All

    Repositories list

    10 repositories

    • batch-tamarin

      Public
      A Python package that enables batch execution of tamarin-prover tasks with JSON configuration files and comprehensive reporting.
      batch-processingtamarin-prover
      Python
      •
      GNU General Public License v3.0
      •1•4•9•1•Updated Jan 7, 2026Jan 7, 2026

    • tamarin-prover.github.io

      Public
      Source repository for the Tamarin prover website.
      HTML
      •7•5•0•0•Updated Jan 5, 2026Jan 5, 2026

    • manual

      Public
      [Obsolete] Tamarin prover manual: source files
      39•25•19•0•Updated Dec 3, 2025Dec 3, 2025

    • tamarin-prover

      Public
      Main source code repository of the Tamarin prover for security protocol verification.
      Haskell
      •
      GNU General Public License v3.0
      •157•497•133•15•Updated Dec 3, 2025Dec 3, 2025

    • vscode-tamarin

      Public
      A VSCode plugin for Tamarin files
      TypeScript
      •
      MIT License
      •11•6•5•0•Updated Aug 1, 2025Aug 1, 2025

    • homebrew-tap

      Public
      Homebrew tap for installing the Tamarin prover
      Ruby
      •7•4•0•0•Updated Oct 30, 2024Oct 30, 2024

    • teaching

      Public
      Teaching materials related to the Tamarin Prover
      6•71•4•0•Updated Aug 6, 2024Aug 6, 2024

    • editors

      Public
      Repository for text editor syntax highlighting
      Vim Script
      •
      GNU General Public License v3.0
      •5•2•1•0•Updated Feb 15, 2024Feb 15, 2024

    • binaries

      Public
      Binary files
      1•0•0•0•Updated Apr 29, 2022Apr 29, 2022

    • editor-sublime

      Public
      Repository for text editor (sublime) syntax highlighting
      Python
      •
      GNU General Public License v3.0
      •2•2•0•0•Updated Apr 26, 2020Apr 26, 2020