crytic / amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
☆148Updated 2 weeks ago
Alternatives and similar repositories for amarna:
Users that are interested in amarna are comparing it to the libraries listed below
- A minimal template for building smart contracts with Cairo 1.0☆87Updated last year
- ☆91Updated 9 months ago
- ☆102Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆186Updated 3 months ago
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- Walkthroughs to leverage Odyssey's features from the future.☆85Updated 2 months ago
- Public reports of audits performed by Nethermind Security☆42Updated last week
- Cairo Language Server☆60Updated last year
- ☆102Updated 2 years ago
- Multi-signature functionality for StarkNet☆92Updated last year
- Resources for Cairo 1.0 development.☆171Updated 3 weeks ago
- Console.log utility for debugging huff contracts☆66Updated last year
- ☆99Updated 2 years ago
- Simulate cross-chain protocols txs, easily.☆146Updated last week
- ☆98Updated last year
- Static Analyzer for Starknet smart contracts☆141Updated last year
- ☆45Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated last year
- A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.☆55Updated 6 months ago
- ☆101Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆74Updated last year
- RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to fin…☆50Updated last year
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆176Updated last year
- A set of standardised Cairo librairies for use on StarkNet☆23Updated 2 years ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Array stream library written in old-fashioned Cairo☆61Updated 2 years ago
- Database of public audits made by ABDK Consulting☆65Updated last week
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Foundry like framework for starknet contracts☆77Updated last year
- ☆116Updated last year