[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 technologyThis badge verifies a contribution to Cairo-based public repositories that have earned more than 5 stars on GitHub.