Pinned Repositories
cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
cairo-vm-go
A virtual machine for Cairo written in Go
2024-01-opus
angle-core
🇪🇺 Smart contracts for the Core Module and the governance of the Angle Protocol
angle-router
🛣 Routing contracts of the Angle Protocol
angle-transmuter
⚗️ Smart contracts for Transmuter, an autonomous and modular price stability module for decentralized stablecoin protocols
art-peace
Collaborative art canvas on Starknet
avnu-contracts-v2
Liquidity aggregator written in Cairo
awesome-cairo
Resources for Cairo 1.0 development.
Starknet-Security-Challenges-Factory
Security Challenges for Starknet
TAdev0's Repositories
TAdev0/Starknet-Security-Challenges-Factory
Security Challenges for Starknet
TAdev0/art-peace
Collaborative art canvas on Starknet
TAdev0/cairo-book.github.io
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
TAdev0/cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
TAdev0/cairovm.codes
Source code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
TAdev0/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
TAdev0/cairo-lang
TAdev0/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
TAdev0/cairo-vm-go
A virtual machine for Cairo written in Go
TAdev0/dappicom
Provable play of Nintendo Entertainment System in Noir
TAdev0/ef-tests
Test runner for ethereum foundation tests
TAdev0/garaga
Efficient pairing library, written in Cairo 🐺.
TAdev0/governance
Contracts for governance of Starknet protocols
TAdev0/juno
Starknet client implementation.
TAdev0/kakarot
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
TAdev0/kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
TAdev0/kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
TAdev0/madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
TAdev0/mancala
TAdev0/mdbook-quiz-cairo
Interactive quizzes for Markdown with Cairo support
TAdev0/noir
Noir is a domain specific language for zero knowledge proofs
TAdev0/orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
TAdev0/OZ-cairo-contracts
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
TAdev0/piltover
Starknet Core Contract components in Cairo.
TAdev0/RealmsWorld
The Hub, Marketplace and Centrepiece of the Realms World.
TAdev0/scaffold-stark-2
Boilerplate to test and develop apps on starknet
TAdev0/solc-select
Manage and switch between Solidity compiler versions
TAdev0/starklings-cairo1
An interactive tutorial to get you up and running with Cairo v1 and Starknet
TAdev0/starknet-foundry
Blazing fast toolkit for developing Starknet contracts.
TAdev0/unruggable.meme
☣️ A framework for building safer memecoins 💸