[Cairo](https://www.cairo-lang.org/) is A STARK-based Turing-complete language for writing provable programs on blockchain. Cairo enables developers to use proof technology
This badge verifies a contribution to Cairo-based public repositories on GitHub.