Dark editorial UI kit — token-driven primitives for internal Next.js tools.

A way to enable Quantum Safe Bitcoin transactions that is available today.

A lightweight Starknet block explorer designed for local development with devnet environments.

A EVM block proving backend in Cairo

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Madara is a powerful hybrid Starknet client written in Rust.

Bridge contracts for an L3/Appchain that settles on Starknet

Rust Library for running the Starknet OS via the Cairo VM

The Madara orchestrator is designed to be an additional service which runs in parallel to Madara and handles various critical jobs that ensure proper block processing, proof generation, data submis…

StarkWare's next gen prover

ZK Benchmarking Suite

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Stark Compass: the only open source explorer

Madara Desktop Application

Modular stack to build Starknet based scaling engines written in Rust