Explore @tamarin-prover Open Source projects

Tamarin prover (@tamarin-prover)

tamarin-prover

Stars
507
Global Org. Rank 23,711 (Top 8 %)
Registered over 12 years ago
Most used languages

Haskell
16.7 %

HTML
16.7 %

Python
16.7 %

JavaScript
16.7 %

Vim Script
16.7 %

Ruby
16.7 %
Location 🇫🇷 France
Country Total Rank 1,852
Country Ranking

Haskell
4

Vim Script
246

Ruby
906

HTML
1,555

JavaScript
2,275

tamarin-prover

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

teaching

Teaching materials related to the Tamarin Prover

manual

Tamarin prover manual: source files

tamarin-prover.github.io

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

homebrew-tap

Homebrew tap for installing the Tamarin prover

editors

Repository for text editor syntax highlighting

editor-sublime

Repository for text editor (sublime) syntax highlighting