Cairo is the first Turing-complete language for creating provable programs for general computation.
JavaScript library for Starknet
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
A Starknet full node written in Rust
Modular stack to build Starknet based scaling engines written in Rust