Healer's repositories
Language:RustGPL-3.0000
000
000
000
Language:JavaScriptMIT000
Language:JavaScriptMIT000
fuel-core
Rust full node implementation of the Fuel v2 protocol.
Language:RustNOASSERTION000
000
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:RustGPL-3.0000
Language:TypeScript000
snarkOS
A Decentralized Operating System for ZK Applications
Apache-2.0000
snarkVM
A Virtual Machine for Zero-Knowledge Executions
Apache-2.0000
000
welcome
Welcome to Aleo. Where Applications Become Zero-Knowledge
GPL-3.0000
workshop
📜 A Starter Guide to Build ZK Applications 📜
000