Rust Library for running the Starknet OS via the Cairo VM

The Cairo package manager

Cairo0 applicative recursion - minimal example

Empowering everyone to build reliable and efficient software.

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Saya, the proving orchestrator of the Dojo stack.

Car rental system Project in cooperation with Mateusz Chudkowski

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

Rust Library for running the Starknet OS via the Cairo VM

PSP34 Implementation