crates.io98Exceptionalhealth index

starkware-libs/cairoCairo is the first Turing-complete language for creating provable programs for general computation.
Rust · Cairo★ 1,912↓ 599.3K/moOct 20, 2026
Go · npm97Exceptionalhealth index
Go★ 444Sep 15, 2026
npm97Exceptionalhealth index
TypeScript · Rust★ 75↓ 37.5K/moSep 14, 2026
crates.io · npm95Exceptionalhealth index
Rust · Cairo★ 393Sep 13, 2026
—94Exceptionalhealth index
Rust★ 908Sep 12, 2026
crates.io · npm93Exceptionalhealth index
Rust★ 663Sep 18, 2026
crates.io92Excellenthealth index
Rust · Cairo★ 134↓ 7,101/moOct 3, 2026
crates.io · npm91Excellenthealth index
Rust · JavaScript★ 223↓ 15.9K/moSep 15, 2026
crates.io84Excellenthealth index
Rust★ 14↓ 80.1K/moOct 7, 2026
crates.io80Excellenthealth index

software-mansion/cairo-annotationsLibrary to help map the lowest level of abstraction (CASM) to a higher level (Sierra), and then to specific information the user wants to obtain using annotations
Rust★ 5↓ 4,426/moSep 13, 2026
Python★ 3↓ 2,441/moOct 20, 2026
TypeScript★ 1,658↓ 6,861/moSep 9, 2026
crates.io73Goodhealth index
Rust · Cairo★ 37Sep 13, 2026
TypeScript★ 0↓ 12.5K/moOct 21, 2026
TypeScript★ 22↓ 7,234/moSep 12, 2026
TypeScript★ 10↓ 1.8M/moOct 20, 2026
npm63Moderatehealth index
TypeScript★ 78↓ 1.2M/moOct 3, 2026
npm60Moderatehealth index
TypeScript★ 1↓ 4,703/moSep 10, 2026
TypeScript★ 4↓ 3,930/moSep 18, 2026
crates.io · PyPI38Weakhealth index

lambdaclass/cairo-vmcairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Rust · Cairo★ 0↓ 76.5K/moSep 9, 2026
Python · Cairo★ 247Sep 11, 2026
Rust★ 26Aug 25, 2026
Cairo★ 132Aug 28, 2026