crytic / amarnaLinks
Amarna is a static-analyzer and linter for the Cairo programming language.
☆149Updated 4 months ago
Alternatives and similar repositories for amarna
Users that are interested in amarna are comparing it to the libraries listed below
Sorting:
- ☆102Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆188Updated 7 months ago
- A minimal template for building smart contracts with Cairo 1.0☆87Updated 2 years ago
- ☆46Updated last year
- ☆92Updated last year
- Static Analyzer for Starknet smart contracts☆147Updated last year
- Resources for Cairo 1.0 development.☆171Updated 4 months ago
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- ☆99Updated 3 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- Foundry + Yul template☆96Updated last year
- ☆75Updated 5 months ago
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- ☆56Updated last year
- Walkthroughs to leverage Odyssey's features from the future.☆105Updated last week
- Simulate cross-chain protocols txs, easily.☆148Updated last week
- ☆102Updated 2 years ago
- A set of standardised Cairo librairies for use on StarkNet☆23Updated 2 years ago
- ☆113Updated 2 months ago
- Console.log utility for debugging huff contracts☆68Updated last year
- ☆43Updated 2 years ago
- Database of public audits made by ABDK Consulting☆83Updated last month
- ☆115Updated 3 years ago
- ☆101Updated 2 years ago
- A template for noir.☆142Updated last year
- like htop for Ethereum and other EVM chains☆144Updated last year
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Cairo Language Server☆60Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 6 months ago