GitHub - Calebux/cairo: Cairo is the first Turing-complete language for creating provable programs for general computation.

Calebux / cairo Public

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

Name		Name	Last commit message	Last commit date
Latest commit History 3,598 Commits
.github		.github
adrs		adrs
corelib		corelib
crates		crates
docs		docs
examples		examples
resources/img		resources/img
scripts		scripts
tests		tests
vscode-cairo		vscode-cairo
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
clippy.toml		clippy.toml
rustfmt.toml		rustfmt.toml

Provide feedback