gretchen1024

Pinned Repositories

taiko-mono
A decentralized, Ethereum-equivalent ZK-Rollup. 🥁
Language:HTML00
tictactoe
Language:Shell00
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 36 21.3k656

gretchen1024's Repositories

gretchen1024/taiko-mono
A decentralized, Ethereum-equivalent ZK-Rollup. 🥁
Language:HTML00
gretchen1024/tictactoe
Language:Shell00