Cairo is the first Turing-complete language for creating provable programs for general computation.
↑ +1 today
2 tracked repositories
Showcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.
[](https://githubrepo.cloud/developers/starkware-libs)
Sorted by stars
Cairo is the first Turing-complete language for creating provable programs for general computation.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.