Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Dec 5, 2024 - Rust
Cairo is the first Turing-complete language for creating provable programs for general computation.
Verify Cairo contracts on Starkscan in 1 minute.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Mastering Starknet. By the Starknet community
Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.
Brings all your DeFi platforms together in one place, helping you track yield (APY/APR), verify smart contract risks, automate pharming, and analyze revenue. Integration with popular protocols as Aave, Uniswap, Curve, and more makes, management simple and secure. Avoid losses with analysis tools.
Generative Art Marketplace
Starknet Ecosystem Dashboard
DEPRECATED in favor of https://github.com/madara-alliance/madara
This is a Cryptocurrency Trading bot on DeFi that works in multiple Chain with unique trading strategies for cryptocurrencies. It performs automated technical analysis of cryptocurrencies, manages risk, reduces slippage and has customizable strategies such as Stop Loss and Buy the Dip.
A collection of React providers and hooks for StarkNet
Blazing fast toolkit for developing Starknet contracts.
Add a description, image, and links to the starknet topic page so that developers can more easily learn about it.
To associate your repository with the starknet topic, visit your repo's landing page and select "manage topics."