bluetico's repositories
grammars
Grammar specifications for languages and formats in the Aleo ecosystem.
000
leo-syntax-vscode
Leo syntax
GPL-3.0000
000
snarkOS
A Decentralized Operating System for ZK Applications
Apache-2.0000
workshop
📜 A Starter Guide to Build ZK Applications 📜
000
bluetico
Config files for my GitHub profile.
000
ARCs
Aleo Request for Comments (ARCs)
Apache-2.0000
000