Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀

Cairo is the first Turing-complete language for creating provable programs for general computation.

Develop apps without any constraints

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Technical information about the NFTs collection

An open source re-implementation of Diablo 2

A safe, easy systems language