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