avnu-labs / semgrep-cairo-rules
Semgrep rules for Cairo 1.0
☆17Updated last year
Alternatives and similar repositories for semgrep-cairo-rules:
Users that are interested in semgrep-cairo-rules are comparing it to the libraries listed below
- Documentation generator for Cairo projects.☆14Updated 2 years ago
- Tool to install Cairo 1.0 with a single command☆15Updated last year
- Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts☆19Updated last year
- A graph library written in Cairo☆24Updated 2 years ago
- ☆42Updated 7 months ago
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 2 years ago
- Caironet is a simple test runner to test starknet contracts with mocked addresses☆13Updated last year
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23Updated last year
- Symbolic EVM in Rust (WIP)☆86Updated last year
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- GitHub Action to format Cairo files 💄☆12Updated 2 years ago
- A comprehensive library for Cairo 🐺☆38Updated last month
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- A curated list of resources on zkECDSA☆36Updated last year
- Write tests in cairo-lang☆29Updated 2 years ago
- Blog☆22Updated last year
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14Updated 9 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- Yet Another Bridge with Grind Labs and Herodotus☆20Updated last year
- Macros + Primitives for PADE format☆29Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 4 months ago
- A graph library built with Cairo☆28Updated 2 years ago
- one off scripts and contracts☆18Updated last year
- CLI tool to develop Starknet projects written in Cairo☆56Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Blazing fast tool to benchmark Starknet sequencers 🦀☆23Updated 4 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆26Updated 9 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago