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