🎯
Focusing
-
22:08
(UTC +08:00)
Stars
2
stars
written in Haskell
Clear filter
Parsing, analyzing, and comparing source code across many languages
Main source code repository of the Tamarin prover for security protocol verification.