runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
PythonBSD-3-Clause
Stargazers
- adragomirBucharest
- alexbyrnes
- arcalinea
- chaoliu92
- chronakaziFOEsoft
- computerality
- dangerousbeansNew Zealand
- dariusopen to contracts, not perm
- djphillygSan Francisco, CA
- dotmnd
- erkmos
- gfredtech
- ghosthamletThe Rest Is Silence of Code
- gnidan@trufflesuite
- gradetwo
- HarryRUnited Kingdom
- hierophantos
- jkingyensPalo Alto
- jobez
- joelburget@google
- jorgeluisrocha
- kevin-chauUniversity of California, Merced
- kumavis@MetaMask
- lojikil
- lsquaredlelandonchain
- maurelianOP Labs
- msaxena2University of Illinois at Urbana Champaign
- nmp
- pirapiraEurope
- q0LoCo
- samhuntaLos Angeles, CA
- se3000SmartContract.com
- sorpaas
- Sunden
- weipinShanghai / Bangkok
- yondonfu