leo
mvanhorn/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
1stars
Forks
0
Open issues
0
Watchers
1
Size
255.0 MB
GNU General Public License v3.0
Created: Jun 4, 2026
Updated: Jun 6, 2026
Last push: Jul 27, 2026
Fork