leanbob

Pinned Repositories

badgeforaleo
Language:Shell50
chains
provides metadata for networkIDs and chainIDs
Language:Kotlin60
instructions
50
mkk
50
Mode-Network
Deploying contracts in the Mode chain.
50
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 36 21.3k659

leanbob's Repositories

leanbob/chains
provides metadata for networkIDs and chainIDs
Language:Kotlin60
leanbob/badgeforaleo
Language:Shell50
leanbob/instructions
50
leanbob/mkk
50
leanbob/Mode-Network
Deploying contracts in the Mode chain.
50