Semgrep rules for Cairo 1.0
β18Aug 28, 2023Updated 2 years ago
Alternatives and similar repositories for semgrep-cairo-rules
Users that are interested in semgrep-cairo-rules are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Caironet is a simple test runner to test starknet contracts with mocked addressesβ12Jul 1, 2023Updated 2 years ago
- GitHub Action to format Cairo files πβ12Aug 23, 2022Updated 3 years ago
- Typesafe opinionated abstractions for developing Cairo 1.0 smart contractsβ19Jun 12, 2023Updated 2 years ago
- Damn Vulnerable Defi for Starknetβ27Jul 21, 2023Updated 2 years ago
- Write up of the StarknetCC-Lisbon-CTFβ20Nov 7, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Cairo package managerβ219Updated this week
- Cairo bootloader port for the Rust Cairo VM.β12Jul 3, 2024Updated last year
- This repo introduces a Boilerplate and examples for Cairo 1.0 smart contracts.β14Feb 22, 2023Updated 3 years ago
- Tool to install Cairo 1.0 with a single commandβ15Apr 1, 2023Updated 2 years ago
- This open collaboration project aims to explore and document the various technology stacks associated with Starknet.β10Feb 21, 2024Updated 2 years ago
- Validator software for Starknet stakers written in Goβ15Dec 19, 2025Updated 3 months ago
- An ERC721 implementation in Cairo 1β12Apr 25, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Coreβ52Apr 3, 2023Updated 2 years ago
- Set of smart contracts on StarkNet for Akira Decentralised Exchangeβ12Nov 18, 2025Updated 4 months ago
- NordVPN Threat Protection Proβ’ β’ AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Utility features to play with EIP-4844 blobs for Starknet usage.β14May 26, 2024Updated last year
- Build neural network models in Cairo 1.0β19Apr 30, 2023Updated 2 years ago
- Computes SHA256 of arbitrary length inputs.β15Nov 2, 2022Updated 3 years ago
- Sets up Scarb in your GitHub Actions workflow.β19Mar 18, 2026Updated last week
- NFT Royalty Standardβ16Aug 28, 2024Updated last year
- Starknet SDK for JVM languages (Java, Kotlin, Scala)β69Mar 12, 2026Updated 2 weeks ago
- CLI tool to develop Starknet projects written in Cairoβ55Nov 30, 2023Updated 2 years ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ133Jan 8, 2025Updated last year
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β265Mar 5, 2026Updated 3 weeks ago
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1β23May 4, 2023Updated 2 years ago
- Starknet C# (.NET) SDKβ18Nov 30, 2025Updated 3 months ago
- β47Mar 30, 2023Updated 2 years ago
- Resources for Cairo 1.0 development.β170Feb 6, 2025Updated last year
- Mutation testing tool for circomβ17Jul 4, 2023Updated 2 years ago
- StarkNet smart contract fuzzerβ81Jul 8, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.β15Jun 4, 2024Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.β148Feb 14, 2025Updated last year
- Contracts for verifiable randomness on StarkNetβ42Oct 17, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Judgementalist β judge Sherlock contests fasterβ12Jun 20, 2023Updated 2 years ago
- β23Feb 19, 2025Updated last year
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β188Aug 10, 2025Updated 7 months ago
- Use `forge` and `cast` commands in Python scriptsβ19Apr 3, 2022Updated 3 years ago
- InstaSwap - decentralized token swap protocol for ERC-1155 tokens on Starknet.β20Jan 9, 2024Updated 2 years ago
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. π¦π§ββοΈβ38Oct 27, 2023Updated 2 years ago
- β12Nov 3, 2024Updated last year