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

Code coverage tool for cairo

Generate Proxy DLLs in Rust

Blazing fast toolkit for developing Starknet contracts.

Advanced configuration options for sockets.

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

Macros enabling parallelism using the rayon crate

An extremely fast R package manager, written in Rust. The R equivalent of uv for Python.

Profiler for Cairo programming language & Starknet

BT tracker 服务器列表与自建集成 tracker 入口，提供全网最全的 tracker 列表，每日聚合并测试存活服务器，trackers_all.txt 为全量列表（2902 行），trackers_best.txt 为可用列表（1137 行）