What is Cairo?

Cairo is a programming language for scaling dApps using STARKs. It is a Turing complete language, making it possible for all blockchain developers to harness the power of STARKs. More information here.