KEVM
A model of the Ethereum Virtual Machine (EVM) with K semantics.
What is KEVM?
Runtime Verification Inc's K framework-based model and walkthrough to help write custom tests from a language and environment you deploy and maintain. Developers can create tests with more control of the underlying framework's semantics. Working knowledge of the K framework or its implementations is a prerequisite.
Web3 dapps and developer tools related to KEVM
Discover blockchain applications that are frequently used with KEVM.
evmtools
EVMole
Superchain Dev Console
Envio
Developer resources from Alchemy
EVM vs SVM: a developer's guide
A developer comparison of the EVM and SVM covering account models, parallel execution, fees, program design, and migration, with code examples.
The 6 best Solidity IDEs for developers (2026)
Explore the best IDEs for Solidity development.
Announcing our integration with Monad, the fastest EVM L1
Introducing Monad: Build on the fastest EVM L1 with zero compromises
KEVM alternatives
Explore web3 competitors and apps like KEVM.
Rust Ethereum ABI
ETH ABI
Solvm
ConsenSys ABI DecoderApp store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.
