GitHub repository: CasperAssociation/osl
Primary language: Haskell
Description: A spec language for zero knowledge proofs