🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
57,138 visible repositories in the index
1–3 of 3 · Most stars
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
EOSIO Blockchain Interface & Wallet
A little Python utility that lets you monitor Bitcoin addresses through Blockchain Websocket API and perform custom callbacks.