AleoHQ
Results
11
repositories owned by
AleoHQ
leo
4.8k
Stars
624
Forks
23
Watchers
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
welcome
312
Stars
198
Forks
Watchers
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
sdk
557
Stars
448
Forks
Watchers
A Software Development Kit (SDK) for Zero-Knowledge Transactions
aleo-setup
59
Stars
82
Forks
Watchers
A Setup Ceremony for Universal SNARKs
workshop
320
Stars
259
Forks
Watchers
📜 A Starter Guide to Build ZK Applications 📜
grammars
17
Stars
24
Forks
Watchers
Grammar specifications for languages and formats in the Aleo ecosystem.