GitHub repository: ramazanebci/snarkOS
Description: A Decentralized Operating System for ZK Applications