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 3 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 3 years ago
- Damn Vulnerable Defi for Starknet☆26Jul 21, 2023Updated 3 years ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repo introduces a Boilerplate and examples for Cairo 1.0 smart contracts.☆14Feb 22, 2023Updated 3 years ago
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated 2 years ago
- The Cairo package manager☆222Updated this week
- Tool to install Cairo 1.0 with a single command☆15Apr 1, 2023Updated 3 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☆15Jul 28, 2026Updated 2 weeks ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14May 26, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Set of smart contracts on StarkNet for Akira Decentralised Exchange☆13Nov 18, 2025Updated 8 months ago
- Build neural network models in Cairo 1.0☆19Apr 30, 2023Updated 3 years ago
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- Starknet C# (.NET) SDK☆18Nov 30, 2025Updated 8 months ago
- Sets up Scarb in your GitHub Actions workflow.☆19Mar 18, 2026Updated 4 months ago
- NFT Royalty Standard☆16Aug 28, 2024Updated last year
- Starknet SDK for JVM languages (Java, Kotlin, Scala)☆70Apr 14, 2026Updated 4 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆133Jan 8, 2025Updated last year
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆47Mar 30, 2023Updated 3 years ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆265Mar 5, 2026Updated 5 months ago
- Resources for Cairo 1.0 development.☆168Feb 6, 2025Updated last year
- Mutation testing tool for circom☆16Jul 4, 2023Updated 3 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 3 years ago
- Contracts for verifiable randomness on StarkNet☆42Oct 17, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- ☆23Feb 19, 2025Updated last year
- Judgementalist — judge Sherlock contests faster☆11Jun 20, 2023Updated 3 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.
- CLI tool to develop Starknet projects written in Cairo☆55Nov 30, 2023Updated 2 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
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 4 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 2 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆147Feb 14, 2025Updated last year
- Unofficial community curated list of Slinks.☆25Aug 13, 2024Updated 2 years ago