electro's repositories
000
000
000
namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
GPL-3.0000
Language:Shell000
bitcoin
Bitcoin Core integration/staging tree
MIT000
metamask-extension
:globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
GPL-3.0000
interface
🦄 An open source interface for the Uniswap protocol
GPL-3.0000
blockchain
A simple Blockchain in Python
Language:HTML000