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

Empowering everyone to build reliable and efficient software.

Saya, the proving orchestrator of the Dojo stack.

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

The Cairo package manager

Rust Library for running the Starknet OS via the Cairo VM

Rust Library for running the Starknet OS via the Cairo VM

Ptoszek.pl to projekt edukacyjny mający na celu uświadamianie użytkowników internetu o zagrożeniach związanych z otwieraniem nieznanych linków. Strona demonstruje potencjalne możliwości stron inter…

PSP34 Implementation

Cairo0 applicative recursion - minimal example

Car rental system Project in cooperation with Mateusz Chudkowski