hassan's repositories
000
000
000
000
000
000
000
000
000
000
GPL-3.0000
000
000
000
000
000
000
000
000
000
welcome
Welcome to Aleo. Where Applications Become Zero-Knowledge
000
000
snarkOS
A Decentralized Operating System for ZK Applications
Apache-2.0000
000
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
GPL-3.0000