Topic: cairo-lang Goto Github
Some thing interesting about cairo-lang
Some thing interesting about cairo-lang
cairo-lang,A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
User: amanusk
cairo-lang,Solutions and scripts for Cairo Challenges of Paradigm CTF 2022
User: amanusk
cairo-lang,Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
User: andrewmilson
cairo-lang,A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.
Organization: apibara
cairo-lang,Resources for Cairo 1.0 development.
Organization: auditless
cairo-lang,A minimal template for building smart contracts with Cairo 1.0
Organization: auditless
cairo-lang,Semgrep rules for Cairo 1.0
Organization: avnu-labs
cairo-lang,Loot Survivor - onchain arcade
Organization: bibliothecadao
Home Page: https://survivor.realms.world
cairo-lang,Realms Monorepo for Ethereum contracts and Starknet contracts.
Organization: bibliothecadao
Home Page: https://bibliothecadao.xyz/
cairo-lang,STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Organization: bitcoin-stark
cairo-lang,The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Organization: cairo-book
Home Page: https://book.cairo-lang.org/
cairo-lang,A toolkit for DAO-like governance on Starknet
Organization: carmineoptions
cairo-lang,A Symbolic Execution Tool for Cairo
User: chyanju
cairo-lang,A combination of simple implementations of different existing protocols and standards in Cairo
User: darlington02
cairo-lang,A graph library written in Cairo
User: enitrat
cairo-lang,Blazing fast toolkit for developing Starknet contracts.
Organization: foundry-rs
Home Page: https://foundry-rs.github.io/starknet-foundry/
cairo-lang,Cairo/Starknet smart contract fuzzer
Organization: fuzzinglabs
cairo-lang,Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Organization: fuzzinglabs
Home Page: https://fuzzinglabs.com/
cairo-lang,ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
Organization: gizatechxyz
Home Page: https://orion.gizatech.xyz
cairo-lang,A Cairo contract to play chess in Starknet.
User: greenlucid
cairo-lang,A comprehensive library for Cairo 🐺
Organization: herodotusdev
cairo-lang,
Organization: herodotusdev
cairo-lang,Fixed point 64.61 math library for Cairo / Starknet
Organization: influenceth
cairo-lang,Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Organization: keep-starknet-strange
cairo-lang,A curated list of awesome StarkNet resources, libraries, tools and more
Organization: keep-starknet-strange
cairo-lang,Example of an ERC20 bridge for tokens minted on StarkNet layer 2
Organization: keep-starknet-strange
cairo-lang,Efficient pairing library, written in Cairo 🐺.
Organization: keep-starknet-strange
cairo-lang,Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Organization: kkrt-labs
Home Page: https://kakarot.org
cairo-lang,Kakarot zkEVM - rewrite in the latest version of Cairo
Organization: kkrt-labs
Home Page: https://www.kakarot.org
cairo-lang,cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
Organization: lambdaclass
cairo-lang,🐺 Simple STARK verifier on Tezos blockchain
User: m-kus
Home Page: https://better-call.dev/ghostnet/KT1QvgguUftZsJ82Wy2LZ6tfgTzBGkNrk2bx
cairo-lang,Cairo lang plugin for Vim
User: miguelmota
Home Page: https://github.com/miguelmota/cairo.vim
cairo-lang,A collection of examples of Cairo smart contracts for Starknet.
Organization: nethermindeth
Home Page: https://starknet-by-example.voyager.online/
cairo-lang,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.
Organization: nethermindeth
Home Page: https://nethermind.io/warp/
cairo-lang,Learn Cairo and StarkNet Smart Contract programming with example code
User: pmuens
Home Page: https://cairo-by-example.org
cairo-lang,A naive bloom filter implementation in Cairo
User: sambarnes
cairo-lang,Various ERC-721 Dutch Auctions for StarkNet
User: sambarnes
cairo-lang,A simple multisig implementation for StarkNet
User: sambarnes
cairo-lang,
User: sambarnes
cairo-lang,Protostar is a toolchain for developing and testing Starknet contracts
Organization: software-mansion
Home Page: https://docs.swmansion.com/protostar/
cairo-lang,Learn how to read Cairo code
Organization: starknet-edu
cairo-lang,Learn how to deploy and customize an ERC721 token on StarkNet
Organization: starknet-edu
cairo-lang,Mastering Starknet. By the Starknet community
Organization: starknet-edu
Home Page: https://book.starknet.io
cairo-lang,👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo
Organization: starknet-es
cairo-lang,A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
User: starkoracles
cairo-lang,bn254 pairing library for Cairo Zero
User: tekkac
cairo-lang,学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.
Organization: wtfacademy
Home Page: https://wtf.academy
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.