KEVM
EVM Tools
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.
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.
ApeWorx EVMEVM Tools
A Rust implementation of Ethereum Virtual Machine.
+1
codeslawSmart Contract Tools
codeslaw facilitates faster Ethereum development by allowing developers to search for smart contracts.
Dedaub Security SuiteSmart Contract Tools
The Dedaub Security Suite provides comprehensive blockchain project security.
