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.
IntelliJ IDEAWeb3 IDEs
IntelliJ IDEA is a code editor that was specifically built for the Javascript Virtual Machine.
BrownieDevelopment Frameworks
Brownie is a Python-based framework used for the development and testing of EVM smart contracts.
ForgeDevelopment Frameworks
Inspired by Dapptools, Forge is a convenient Ethereum testing framework in the Foundry toolkit.
KEVM Alternatives
Explore web3 competitors and apps like KEVM.
