安全libraryKCL

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

579 stars155 forks80 issuesBSD-3-Clause更新于 2026/4/24

暂无详细内容

同类推荐

free-programming-books

:books: Freely available programming books

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

30-seconds-of-code

Coding articles to level up your development skills

papers-we-love

Papers from the computer science community to read and discuss.

awesome-mac

 This project is dedicated to collecting high-quality macOS software and organizing them systematically by different categories for easy search and use.

awesome-for-beginners

A list of awesome beginners-friendly projects.