Explore Projects

Discover 1 open source projects

Active filters (1):
Search: computational-integrityร—
Clear all

Showing 1-1 of 1 projects

starkware-libs/cairo

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

1.9K
Active
Rust
MCP Servers
#zero-knowledge-proofs#provable-programming#general-computation

Stay in the loop

Get weekly updates on trending AI coding tools and projects.