Stars
Harness framework to build world model based workflows for physical AI systems.
A way to enable Quantum Safe Bitcoin transactions that is available today.
Modular stack to build Starknet based scaling engines written in Rust
Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
Papyrus is a StarkNet full node written in Rust.
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A stateless trustless Starknet light client in Rust 🦀
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.