solvm
EVM simulator
An experimental implementation of a miniature EVM inside another EVM using Solidity and YUL
evm inception: the evm inside the evm via yul and solidity
228 stars
4 watching
8 forks
Language: Solidity
last commit: almost 2 years ago
Linked from 1 awesome list
arpitingle/library-of-ethereumRelated projects:
| Repository | Description | Stars |
|---|---|---|
 leonardoalt/tinyzkevm | A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates. | 46 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,685 |
 stavrosorf/ev2gym | A simulation environment for optimizing electric vehicle charging and grid management | 56 |
 pipermerriam/py-evm | A Python implementation of the Ethereum Virtual Machine. | 40 |
 daltyboy11/more-evm-puzzles | A collection of challenging puzzles designed to test skills in creating and executing transactions on the Ethereum Virtual Machine (EVM) | 172 |
 etcdevteam/sputnikvm | An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks. | 280 |
 ethereum/evmone | An implementation of the Ethereum Virtual Machine | 872 |
 smlxl/evm.codes | An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode | 740 |
 rl-institut/spice_ev | A program to simulate individual charging events of electric vehicles | 24 |
 fvictorio/evm-puzzles | A collection of puzzles to test Ethereum Virtual Machine (EVM) functionality by solving specific transaction-related challenges. | 821 |
 runtimeverification/evm-semantics | Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language. | 509 |
 nervous-systems/sputter | An implementation of the Ethereum Virtual Machine | 122 |
 evmts/tevm-monorepo | Enables browser-based Ethereum node and Solidity execution for next-gen UX and DX | 279 |
 movsim/movsim | A microscopic lane-based traffic simulator with various models and tools for analyzing traffic behavior | 321 |
 ecsim/opem | A Python-based simulation tool for fuel cells using various dynamic and static models to analyze electrochemical processes. | 204 |