Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo becomes Rusty! Check by yourself
cargo run --bin cairo-run -- -p /path/to/file.cairo
See more here: runner
You can find Cairo examples in the examples directory.
Follow the instructions in vscode-cairo.
See the open issues for a list of proposed features (and known issues).
Reach out to the maintainer at one of the following places:
If you want to say thank you or/and support active development of Cairo:
Together, we can make Cairo better!
First off, thanks for taking the time to contribute! Contributions are what make the open-source community such an amazing place to learn, inspire, and create. Any contributions you make will benefit everybody else and are greatly appreciated.
Please read our contribution guidelines, and thank you for being involved!
For a full list of all authors and contributors, see the contributors page.
Cairo follows good practices of security, but 100% security cannot be assured. Cairo is provided "as is" without any warranty. Use at your own risk.
For more information and to report security issues, please refer to our security documentation.
This project is licensed under the Apache 2.0.
See LICENSE for more information.