GeezerVison

GeezerVison is showing github.com — StarkWare Libs

Popular repositories Loading

cairo cairo Public

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

Rust 1.9k 797
cairo-lang cairo-lang Public

Python 1.4k 293
cairo-vm cairo-vm Public

cairo-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 th…

Rust 589 222
stwo stwo Public

StarkWare's next gen prover

Rust 509 184
papyrus papyrus Public archive

Papyrus is a StarkNet full node written in Rust.

Rust 323 88
starkex-contracts starkex-contracts Public

Solidity 296 121

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All C++ Cairo Go HTML Java JavaScript Lean Python Rust Shell Solidity TypeScript

Sort

Last updated Name Stars

Showing 10 of 78 repositories

sequencer Public

starkware-libs/sequencer's past year of commit activity

Rust 73 Apache-2.0 79 2 64 Updated Nov 12, 2026
cairo Public
Cairo is the first Turing-complete language for creating provable programs for general computation.

starkware-libs/cairo's past year of commit activity

Rust 1,922 Apache-2.0 797 51 (9 issues need help) 117 Updated Nov 12, 2026
stwo Public
StarkWare's next gen prover

starkware-libs/stwo's past year of commit activity

Rust 509 Apache-2.0 184 16 32 Updated Nov 12, 2026
proving Public

starkware-libs/proving's past year of commit activity

Rust 7 Apache-2.0 9 1 1 Updated Nov 12, 2026
anystark Public

starkware-libs/anystark's past year of commit activity

TypeScript 0 MIT 0 0 0 Updated Nov 11, 2026
stwo-cairo Public
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

starkware-libs/stwo-cairo's past year of commit activity

Rust 286 67 7 84 Updated Nov 10, 2026
cairo-lang Public

starkware-libs/cairo-lang's past year of commit activity

Python 1,368 Apache-2.0 293 99 44 Updated Nov 10, 2026
cairo_native Public
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.

starkware-libs/cairo_native's past year of commit activity

Rust 137 Apache-2.0 53 70 (3 issues need help) 7 Updated Nov 10, 2026
starknet-specs Public

starkware-libs/starknet-specs's past year of commit activity

Python 115 90 4 8 Updated Nov 9, 2026
starknet-privacy Public
Starknet privacy protocol

starkware-libs/starknet-privacy's past year of commit activity

TypeScript 32 Apache-2.0 14 7 57 Updated Nov 8, 2026

View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Rust Cairo TypeScript Python C++

Most used topics

cairo rust stark blockchain cryptography