#
cairo-lang
Here are 45 public repositories matching this topic...
Warp - Bringing Solidity to StarkNet at warp speed. Warp is a Solidity to Cairo Transpiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.
-
Updated
Oct 22, 2022 - TypeScript
Protostar is a toolchain for developing and testing with Cairo contracts for StarkNet
-
Updated
Oct 21, 2022 - Python
Cairo/Starknet bytecode analyzer, disassembler & decompiler
-
Updated
Oct 23, 2022 - Python
Tutorials for on-ramping to StarkNet
-
Updated
May 28, 2022 - Python
Realms Monorepo for Ethereum contracts and Starknet contracts.
-
Updated
Oct 22, 2022 - Python
Fixed point 64.61 math library for Cairo / Starknet
-
Updated
Oct 6, 2022 - Python
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
-
Updated
Sep 12, 2022 - Cairo
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
-
Updated
Oct 23, 2022 - Cairo
A simple multisig implementation for StarkNet
-
Updated
May 28, 2022 - Cairo
A Symbolic Execution Tool for Cairo
security
racket
ethereum
verification
synthesis
rosette
zero-knowledge
defi
starkware
cairo-lang
starknet
symbolic-compilation
-
Updated
Sep 13, 2022 - Racket
A Cairo contract to play chess in Starknet.
-
Updated
Jun 12, 2022 - Cairo
Learn how to deploy and customize an ERC721 token on StarkNet
-
Updated
Oct 21, 2022 - Rust
A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.
-
Updated
Mar 11, 2022 - Python
Vyro - Vyper to Cairo transpiler for the Ethereum and StarkNet ecosystems.
-
Updated
Oct 15, 2022 - Python
Improve this page
Add a description, image, and links to the cairo-lang topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cairo-lang topic, visit your repo's landing page and select "manage topics."