Repository profile
tamarin-prover / tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
HaskellView on GitHub
Repository overview
Public GitHub metrics and OpenPulse observationsGitHub stars553
Public forks168
Growth · 24h+0 stars
Growth · 7d+3 stars
Growth · 30d+4 stars
Star activity
Last 7 days16 Oct4 observed days · gaps preserved19 Oct
Observed star growth
Samples or dated GitHub history
24h
+0 stars
Measured from observations
18 Oct 2026 → 19 Oct 2026
7d
+3 stars
GitHub history · as of 2026-10-17
11 Oct 2026 → 18 Oct 2026
30d
+4 stars
GitHub history · as of 2026-10-17
18 Sep 2026 → 18 Oct 2026