[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 that the person has created Go-based repositories on GitHub. The number of tokens is equivalent to the number of repositories.