Home of the Skyro compiler
☆43Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29May 19, 2022Updated 4 years ago
- A Cairo implementation of NIST P-256 (aka Secp256r1).☆34Apr 7, 2022Updated 4 years ago
- A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.☆38Mar 11, 2022Updated 4 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 4 years ago
- A toy Cairo VM implementation in Rust™☆71Jun 7, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Curation of useful libs for starknet development.☆41Jan 9, 2023Updated 3 years ago
- Write tests in cairo-lang☆29Apr 17, 2022Updated 4 years ago
- ERC721 token gated account contract for starknet☆14Apr 21, 2022Updated 4 years ago
- Fixed point 64.61 math library for Cairo / Starknet☆65Mar 8, 2023Updated 3 years ago
- Anonymous rewards on StarkNet☆35Sep 9, 2021Updated 5 years ago
- bn254 pairing library for Cairo Zero☆26Dec 15, 2022Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- A graph library built with Cairo☆28Jul 12, 2022Updated 4 years ago
- ☆99Jun 14, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 4 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Jun 7, 2022Updated 4 years ago
- Private Prediction Market for Starknet☆21May 16, 2022Updated 4 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 4 years ago
- On-chain gaming toolkit☆11Jan 11, 2023Updated 3 years ago
- Various ERC-721 Dutch Auctions for StarkNet☆31May 28, 2022Updated 4 years ago
- ☆41Sep 23, 2022Updated 4 years ago
- ☆12May 5, 2022Updated 4 years ago
- Contracts for verifiable randomness on StarkNet☆42Oct 17, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Amarna is a static-analyzer and linter for the Cairo programming language.☆146Feb 14, 2025Updated last year
- Cairo / Starknet files for the Briq protocol and the Briq builder☆64May 10, 2024Updated 2 years ago
- A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM☆290Oct 12, 2022Updated 4 years ago
- A simple multisig implementation for StarkNet☆43May 28, 2022Updated 4 years ago
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Sep 15, 2022Updated 4 years ago
- A set of librairies in Cairo for use on StarkNet☆41Jun 13, 2022Updated 4 years ago
- Ogame implementation written in cairo☆25Dec 1, 2022Updated 3 years ago
- ☆16Jul 14, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Cairo implementation of common Elliptic Curve.☆28Jun 30, 2024Updated 2 years ago
- ☆36Aug 22, 2021Updated 5 years ago
- JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html☆13May 30, 2022Updated 4 years ago
- A Cairo contract to play chess in Starknet.☆38Dec 26, 2022Updated 3 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 3 years ago
- A gate level simulator and gate level netlist standard specification in Cairo☆17Feb 15, 2022Updated 4 years ago
- Foundry like framework for starknet contracts☆76Mar 9, 2023Updated 3 years ago