repos
25
ecosystems
7
languages
9
commits
620
─── top repos · by commits
─── repositories
25 totalK Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Framework Tools 7.0
The Ethereum VM implemented in Javascript
K plugin for IELE and KEVM
Python tools for the K Framework
Foundry blog posts' executable demos
K and Semantics Distribution Tool
Smart contracts which are formally verified
Publications of Runtime Verification, Inc.
Cheatcodes library for your symbolic Kontrol tests
The symbolic execution engine powering the K Framework
Fast Ethereum RPC client for testing and development
A Formal Semantics of WebAssembly in K
Semantics of Virtual Machine for IELE prototype blockchain
─── peer developers
─── ecosystems
─── languages
- Solidity7
- Python5
- JavaScript3
- HTML2
- WebAssembly2
- KCL1
- Makefile1
- C++1
- Haskell1
─── subscriber view
Unlock the full view of anvacaru
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.