Home of the Skyro compiler
☆44Dec 12, 2022Updated 3 years ago
Alternatives and similar repositories for skyro
Users that are interested in skyro are comparing it to the libraries listed below
Sorting:
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29May 19, 2022Updated 3 years ago
- A Cairo implementation of NIST P-256 (aka Secp256r1).☆34Apr 7, 2022Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- ERC721 token gated account contract for starknet☆14Apr 21, 2022Updated 3 years ago
- A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.☆38Mar 11, 2022Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- ☆16Jul 14, 2022Updated 3 years ago
- JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html☆13May 30, 2022Updated 3 years ago
- Fixed point 64.61 math library for Cairo / Starknet☆65Mar 8, 2023Updated 2 years ago
- ☆40Sep 23, 2022Updated 3 years ago
- A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM☆292Oct 12, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- ☆100Jun 14, 2022Updated 3 years ago
- Curation of useful libs for starknet development.☆42Jan 9, 2023Updated 3 years ago
- Contracts for verifiable randomness on StarkNet☆42Oct 17, 2022Updated 3 years ago
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65May 10, 2024Updated last year
- Anonymous rewards on StarkNet☆35Sep 9, 2021Updated 4 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Feb 20, 2023Updated 3 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- Private Prediction Market for Starknet☆21May 16, 2022Updated 3 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Jun 7, 2022Updated 3 years ago
- A toy Cairo VM implementation in Rust™☆73Jun 7, 2022Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- Circuits used by heyanon☆21Sep 14, 2022Updated 3 years ago
- ☆36Aug 22, 2021Updated 4 years ago
- ☆37Jun 14, 2022Updated 3 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Feb 14, 2025Updated last year
- A simple multisig implementation for StarkNet☆43May 28, 2022Updated 3 years ago
- Multi-signature functionality for StarkNet☆91Jun 22, 2023Updated 2 years ago
- A graph library built with Cairo☆28Jul 12, 2022Updated 3 years ago
- bn254 pairing library for Cairo Zero☆26Dec 15, 2022Updated 3 years ago
- ☆11Sep 14, 2025Updated 5 months ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- ☆11Mar 2, 2024Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- IPBW: Interplanetary Black Widow crawls ur ipfs nodes☆12Sep 2, 2021Updated 4 years ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆577Updated this week
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Jul 21, 2022Updated 3 years ago