crytic / amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
☆149Updated last month
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
- ☆102Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆187Updated 4 months ago
- Static Analyzer for Starknet smart contracts☆142Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- MoonMath Manual notes, exercise solution and extra comments.☆28Updated 9 months ago
- Cairo Language Server☆60Updated 2 years ago
- Database of public audits made by ABDK Consulting☆68Updated this week
- Walkthroughs to leverage Odyssey's features from the future.☆94Updated 3 months ago
- Resources for Cairo 1.0 development.☆171Updated last month
- ☆99Updated 2 years ago
- ☆91Updated 10 months ago
- ☆43Updated last year
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated last year
- Collection of security reviews of ZK Protocols☆225Updated 4 months ago
- Array stream library written in old-fashioned Cairo☆61Updated 2 years ago
- Curation of useful libs for starknet development.☆42Updated 2 years ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- 1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.☆58Updated 2 years ago
- A set of standardised Cairo librairies for use on StarkNet☆23Updated 2 years ago
- Public reports of audits performed by Nethermind Security☆44Updated 2 weeks ago
- ☆102Updated 2 years ago
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- Console.log utility for debugging huff contracts☆68Updated last year
- Simulate cross-chain protocols txs, easily.☆146Updated last month
- Fixed point 64.61 math library for Cairo / Starknet☆65Updated 2 years ago
- Contracts for verifiable randomness on StarkNet☆43Updated 2 years ago
- ☆86Updated 3 weeks ago
- A curated list of repos related to Circom☆97Updated 2 years ago