Cairo is the smart-contract programming language for the Starknet network.
The Cairo programming language is a Turing-complete language for creating provable programs for general computation. It is also the native programming language of Starknet for writing Smart-Contracts.
There is a clear separation between programs written in Cairo meant for general-computation and Cairo smart-contracts.
This category is meant for addressing questions, tutorials and suggestions for Cairo as a smart-contract language.