crytic / amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
☆149Updated 3 months ago
Alternatives and similar repositories for amarna
Users that are interested in amarna are comparing it to the libraries listed below
Sorting:
- A minimal template for building smart contracts with Cairo 1.0☆87Updated last year
- A DSL for generating optimal EVM bytecode☆189Updated 6 months ago
- ☆102Updated 2 years ago
- ☆73Updated 4 months ago
- A template for noir.☆142Updated last year
- Resources for Cairo 1.0 development.☆170Updated 3 months ago
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- Public reports of audits performed by Nethermind Security☆44Updated last week
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated 2 years ago
- ☆116Updated last year
- Simulate cross-chain protocols txs, easily.☆147Updated 3 weeks ago
- ☆101Updated 2 years ago
- ☆90Updated 11 months ago
- ☆54Updated last year
- Foundry + Yul template☆96Updated last year
- Console.log utility for debugging huff contracts☆68Updated last year
- ☆87Updated 2 months ago
- Static Analyzer for Starknet smart contracts☆144Updated last year
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- Walkthroughs to leverage Odyssey's features from the future.☆100Updated 4 months ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- ☆99Updated 2 years ago
- ☆102Updated 2 years ago
- ☆46Updated last year
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated 6 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- ☆111Updated 3 weeks ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆140Updated last year