crytic / amarnaLinks
Amarna is a static-analyzer and linter for the Cairo programming language.
☆148Updated 5 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 2 years ago
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆188Updated 9 months ago
- ☆103Updated 2 years ago
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- ☆58Updated last year
- Playing with zero-knowledge proof languages☆106Updated 2 years ago
- ☆99Updated 2 years ago
- Walkthroughs to leverage Odyssey's features from the future.☆104Updated last month
- A template for noir.☆142Updated last year
- Cairo Language Server☆60Updated 2 years ago
- Resources for Cairo 1.0 development.☆171Updated 6 months ago
- A minimal based rollup implementation that is easy to understand and extend☆40Updated this week
- Multi-signature functionality for StarkNet☆93Updated 2 years ago
- A set of standardised Cairo librairies for use on StarkNet☆23Updated 2 years ago
- ☆100Updated 3 years ago
- ☆116Updated 2 years ago
- The Good Ethereum Assembler☆117Updated last month
- ☆93Updated last year
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated 2 years ago
- Cross-chain interop research, funded by Optimism Governance.☆60Updated 3 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 4 months ago
- A repo of example Noir projects.☆62Updated this week
- Carbon Starknet Protocol written in Cairo.☆54Updated last year
- A curated list of repos related to Circom☆100Updated 2 years ago
- ☆89Updated 5 months ago
- ☆43Updated 2 years ago
- ☆76Updated last week
- ☆46Updated last year
- Resources for learning Noir from ZKCamp's Aztec Course☆55Updated last year