KEVM
![KEVM](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675632%2Fdapp-store%2Fdapp-logos%2FKEVM.png&w=640&q=75)
EVM Tools
KEVM
A model of the Ethereum Virtual Machine (EVM) with K semantics.
![](/_next/image?url=%2Fimages%2Fbig-blur.png&w=1920&q=75)
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 IDEA Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675932%2Fdapp-store%2Fdapp-logos%2FIntelliJ%2520IDEA.jpg&w=96&q=75)
Web3 IDEs
IntelliJ IDEA is a code editor that was specifically built for the Javascript Virtual Machine.
![Brownie Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675613%2Fdapp-store%2Fdapp-logos%2FBrownie.jpg&w=96&q=75)
Development Frameworks
Brownie is a Python-based framework used for the development and testing of EVM smart contracts.
![Forge Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675617%2Fdapp-store%2Fdapp-logos%2FForge.png&w=96&q=75)
Development 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 EVM Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675604%2Fdapp-store%2Fdapp-logos%2FApeWorx%2520EVM.jpg&w=96&q=75)
EVM Tools
A Rust implementation of Ethereum Virtual Machine.
![Optimism Optimism Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694676530%2Fdapp-store%2Fchain-logos%2FOptimism.png&w=48&q=75)
+1
![codeslaw Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675459%2Fdapp-store%2Fdapp-logos%2Fcodeslaw.png&w=96&q=75)
Smart Contract Tools
codeslaw facilitates faster Ethereum development by allowing developers to search for smart contracts.
Smart Contract Tools
The Dedaub Security Suite provides comprehensive blockchain project security.
![Section background image](/_next/image?url=https%3A%2F%2Fwww.datocms-assets.com%2F105223%2F1695993053-convertion-panel-bg-dark.jpg&w=3840&q=75)