Cairo is the first Turing-complete language for creating provable programs for general computation.
(1899 star) (766 fork) (0 issue indicizzate) (0 good first issue aperte)
Repository
Cairo is the first Turing-complete language for creating provable programs for general computation.
Starknet privacy protocol