GitHub repository: m-unkel/zkay
Primary language: Python
Description: A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.