Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-ethereum-virtual-machine

Ethereum Virtual Machine Awesome List
https://github.com/pirapira/awesome-ethereum-virtual-machine

Last synced: 5 days ago
JSON representation

Illustration
- A detailed illustration of the Ethereum Virtual Machine
Tutorials
EVM Implementations
- Live on Main Network
  - core/vm
  - Parity
  - ethcore
  - libevm/VM.cpp
  - ethereum/vm.py
  - here
  - go-ethereum
  - Pyethereum
  - Py-EVM
  - EthereumJ
  - cpp-ethereum
  - Parity
- Other Implementations
Programming Languages that Compile into EVM
- Other Implementations
- Programming Languages that Compile zk-SNARK Circuits and Proofs
Debuggers
- Programming Languages that Compile zk-SNARK Circuits and Proofs
Code Analyzers
- Programming Languages that Compile zk-SNARK Circuits and Proofs
Improvement Proposals
- Programming Languages that Compile zk-SNARK Circuits and Proofs
Related Resources
- Programming Languages that Compile zk-SNARK Circuits and Proofs
  - Awesome Ethereum
Specification
- Yellow Paper
Tests
- Consensus test suite

Programming Languages

Python 5 Rust 3 Go 3 Java 2 OCaml 2 Racket 2 C++ 2 JavaScript 2 TeX 1 Haskell 1

Categories

Tutorials 42 EVM Implementations 25 Code Analyzers 14 Programming Languages that Compile into EVM 13 Debuggers 3 Improvement Proposals 3 Related Resources 1 Illustration 1 Tests 1 Specification 1

Sub Categories

Programming Languages that Compile zk-SNARK Circuits and Proofs 25 Other Implementations 22 Live on Main Network 12

Keywords

ethereum 16 evm 9 blockchain 7 solidity 3 virtual-machine 3 rust 2 programming-language 2 language 2 cpp 2 cryptocurrency 1 cryptography 1 acl2 1 formal-methods 1 formalization 1 proofs 1 verification 1 elixir 1 smartcontracts 1 awesome 1 clojure 1 ruby 1 permissioned-chains 1 hyperledger-burrow 1 hyperledger 1 consensus 1 z3 1 testing 1 symbolic-execution 1 smt 1 security 1 python 1 program-analysis 1 emulation 1 web3-solidity 1 assembly-language 1 ethereum-virtual-machine 1 haskell 1 bamboo 1 ethereum-contract 1 remix 1 remix-ide 1 smart-contracts 1 geth 1 go 1 p2p 1 ethereum-classic 1 debugger 1 ethereum-client 1 client 1 node 1