GitHub repository: kkrt-labs/kakarot
Primary language: Cairo
Description: Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.