Main source code repository of the Tamarin prover for security protocol verification.
C++ wrapper for Relic library, which is written in C.
Python extension of ZKBoo framework.