GitHub repository: ClementWalter/kakarot
Primary language: Cairo
Description: EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.