Popular repositories Loading

1. awesome-ethereum-virtual-machine awesome-ethereum-virtual-machine Public

   Ethereum Virtual Machine Awesome List

   847 110

2. bamboo bamboo Public

   Bamboo see https://github.com/cornellblockchain/bamboo

   OCaml 325 41

3. ethereum-formal-verification-overview ethereum-formal-verification-overview Public

   The start page about my efforts around smart contract verification

   299 25

4. eth-isabelle eth-isabelle Public

   A Lem formalization of EVM and some Isabelle/HOL proofs

   Isabelle 242 42

5. coq2rust coq2rust Public

   Coq to Rust program extraction. The whole tree is on the original Coq code base.

   OCaml 225 10

6. fp-ethereum fp-ethereum Public

   Forked from evm-lang-design/evm-lang-design

   Functional Programming for Ethereum: Intro and Resources

   66 2