Projects in Awesome Lists by bbayazit16
A curated list of projects in awesome lists by bbayazit16 .
https://github.com/bbayazit16/deep-evm
Learn about the EVM, Assembly and Bytecode.
ethereum evm evm-bytecode solidity solidity-assembly
Last synced: 27 Apr 2026
https://github.com/bbayazit16/vevm
A formally verified virtual machine in Rocq.
Last synced: 19 Jul 2025
https://github.com/bbayazit16/mnemo
A command line tool for compiling and running EVM opcodes.
cli command-line-tool ethereum evm-bytecode golang
Last synced: 27 Apr 2026