Daily Trending of KCL in GitHub Wed, 13 May 2026 01:39:21 GMT http://mshibanami.github.io/GitHubTrendingRSS https://github.com/runtimeverification/evm-semantics <p>K Semantics of the Ethereum Virtual Machine (EVM)</p><hr>