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