Popular repositories Loading

1. py-ssz py-ssz Public

   Forked from ethereum/py-ssz

   Python implementation of the Simple Serialize encoding and decoding

   Python

2. eth2.0-ssz eth2.0-ssz Public

   Forked from protolambda/eth2.0-ssz

   Draft of SSZ specs repo

3. eth2.0-specs eth2.0-specs Public

   Forked from ethereum/consensus-specs

   Ethereum 2.0 Specifications

   Python

4. DevmProofGen DevmProofGen Public

   Forked from DavePearce/DevmProofGen

   Dafny Evm Proof Generator (experimental)

   Rust

5. WrappedEther.dfy WrappedEther.dfy Public

   Forked from Consensys/WrappedEther.dfy

   Dafny Model of the WrappedEther Smart Contract

   Dafny

6. evm-dafny evm-dafny Public

   Forked from Consensys/evm-dafny

   An EVM interpreter in Dafny

   Dafny