Pinned Repositories
al-aav
docs-hub-fuel
The documentation hub for Fuel Network
snarkOS
A Decentralized Operating System for ZK Applications
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
readme-typing-svg
⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
aavegotch
Config files for my GitHub profile.
aavegotch's Repositories
aavegotch/aavegotch
Config files for my GitHub profile.
aavegotch/docs-hub-fuel
The documentation hub for Fuel Network
aavegotch/snarkOS
A Decentralized Operating System for ZK Applications
aavegotch/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
aavegotch/readme-typing-svg
⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.
aavegotch/al-aav