Cairo 🐺

⚡ Blazing ⚡ fast ⚡ compiler for Cairo, written in 🦀 Rust 🦀

Explore the snippets »

Report a Bug - Request a Feature - Ask a Question

About

Cairo is the first Turing-complete language for creating provable programs for general computation.

Cairo becomes Rusty! Check by yourself👇

Code snippets

Fibonnaci	Enums

Getting Started

Prerequisites

• Rust

Compile and running Cairo files

cargo run --bin cairo-run -- -p /path/to/file.cairo

See more here: runner

You can find Cairo examples in the examples directory.

Development

Install the language server

Follow the instructions in vscode-cairo.

Roadmap

See the open issues for a list of proposed features (and known issues).

• Top Feature Requests (Add your votes using the 👍 reaction)
• Top Bugs (Add your votes using the 👍 reaction)
• Newest Bugs

Support

Reach out to the maintainer at one of the following places:

• GitHub Discussions
• Contact options listed on this GitHub profile

Project assistance

If you want to say thank you or/and support active development of Cairo:

• Add a GitHub Star to the project.
• Tweet about the Cairo.
• Write interesting articles about the project on Dev.to, Medium or your personal blog.

Together, we can make Cairo better!

Contributing

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!

Authors & contributors

For a full list of all authors and contributors, see the contributors page.

Security

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.

License

This project is licensed under the Apache 2.0.

See LICENSE for more information.