runtimeverification/evm-semantics
View on GitHubK Semantics of the Ethereum Virtual Machine (EVM)
- Stars
- 591
- Forks
- 156
- Open beginner issues
- 0
- Indexed issues
- 77
- Avg merge
- 2h 19m
- Merged PRs (30d)
- 1
- Dominant language
- KCL
- License
- BSD-3-Clause
- Last GitHub push
- Sep 11, 2026
- Latest indexed
- Sep 19, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
1 beginner-friendly issue open
Loading issues
-
Difficulty 1/5 Under an hour Newbie friendliness 78/100
runtimeverification/evm-semantics#1190 ·