ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β˜†4,800Updated last week

Alternatives and similar repositories for leo:

Users that are interested in leo are comparing it to the libraries listed below