GitHub repository: sayajin-labs/kakarot
Primary language: Cairo
Description: ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.