crytic/amarna external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

crytic/amarna

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/crytic/amarna)

Close

crytic / amarnaView on GitHubMore

• External links
• Readme badge

Amarna is a static-analyzer and linter for the Cairo programming language.

☆148Feb 14, 2025Updated last year

Alternatives and similar repositories for amarna

Users that are interested in amarna are comparing it to the libraries listed below

• software-mansion / protostar

  View on GitHub
  Protostar is a toolchain for developing and testing Starknet contracts
  ☆249Jul 19, 2023Updated 2 years ago
• crytic / tayt

  View on GitHub
  StarkNet smart contract fuzzer
  ☆81Jul 8, 2022Updated 3 years ago
• beautyisourbusiness / cairo-goldmine

  View on GitHub
  A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM
  ☆293Oct 12, 2022Updated 3 years ago
• 0xtonysprocket / mammoth_pool

  View on GitHub
  Starknet pool to provide non-custodial liquidity to central limit order book market makers
  ☆25Jul 21, 2022Updated 3 years ago
• eqlabs / starknet-multisig

  View on GitHub
  Multi-signature functionality for StarkNet
  ☆91Jun 22, 2023Updated 2 years ago
• Lev-Stambler / bulletproof-cairo

  View on GitHub
  ☆40Sep 23, 2022Updated 3 years ago
• cartridge-gg / cairo-base64

  View on GitHub
  Base64 encode felts
  ☆16Oct 8, 2022Updated 3 years ago
• sky-ecosystem / starknet-dai-bridge

  View on GitHub
  ☆99Jun 22, 2023Updated 2 years ago
• OpenZeppelin / nile

  View on GitHub
  CLI tool to develop StarkNet projects written in Cairo
  ☆315Dec 1, 2023Updated 2 years ago
• lambdaclass / cairo-vm

  View on GitHub
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆577Updated this week
• ericglau / cairo-ls

  View on GitHub
  Cairo Language Server
  ☆60Mar 20, 2023Updated 2 years ago
• keep-starknet-strange / shenlong

  View on GitHub
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Mar 24, 2023Updated 2 years ago
• xJonathanLEI / oriac

  View on GitHub
  A toy Cairo VM implementation in Rust™
  ☆73Jun 7, 2022Updated 3 years ago
• FuzzingLabs / thoth

  View on GitHub
  Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
  ☆271Apr 22, 2025Updated 10 months ago
• maxgillett / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆157Aug 25, 2022Updated 3 years ago
• xJonathanLEI / starknet-rs

  View on GitHub
  Complete Starknet library in Rust™
  ☆314Nov 9, 2025Updated 3 months ago
• OpenZeppelin / cairo-contracts

  View on GitHub
  OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
  ☆911Feb 17, 2026Updated 2 weeks ago
• open-dust / cairo-foundry

  View on GitHub
  Foundry like framework for starknet contracts
  ☆77Mar 9, 2023Updated 2 years ago
• software-mansion / setup-scarb

  View on GitHub
  Sets up Scarb in your GitHub Actions workflow.
  ☆19Feb 24, 2026Updated last week
• lucadonnoh / graphiro

  View on GitHub
  A graph library built with Cairo
  ☆28Jul 12, 2022Updated 3 years ago
• franalgaba / pre-commit-cairo

  View on GitHub
  Cairo hooks for pre-commit
  ☆17May 21, 2022Updated 3 years ago
• franalgaba / felucca

  View on GitHub
  Cairo Package Manager
  ☆35Dec 31, 2022Updated 3 years ago
• sambarnes / cairo-dutch

  View on GitHub
  Various ERC-721 Dutch Auctions for StarkNet
  ☆31May 28, 2022Updated 3 years ago
• brockelmore / solvm

  View on GitHub
  evm inception: the evm inside the evm via yul and solidity
  ☆227Apr 19, 2023Updated 2 years ago
• aspectco / cairo-lib

  View on GitHub
  Library for common cairo functions
  ☆37Jan 19, 2022Updated 4 years ago
• transmissions11 / levm

  View on GitHub
  Lightweight Lua EVM
  ☆59May 1, 2022Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• 0xSpaceShard / starknet-devnet-deprecated

  View on GitHub
  A local testnet for Starknet
  ☆210Dec 15, 2023Updated 2 years ago
• tarungog / geth_scan

  View on GitHub
  Scans the internet for open geth RPC clients
  ☆25Jul 2, 2017Updated 8 years ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• lambdaclass / starknet_in_rust

  View on GitHub
  A Rust implementation of Starknet execution logic
  ☆170Jul 22, 2024Updated last year
• chyanju / __archived__Medjai

  View on GitHub
  A Symbolic Execution Tool for Cairo
  ☆15Jul 25, 2022Updated 3 years ago
• b-chiang / schnorr-nizk

  View on GitHub
  ☆14May 19, 2022Updated 3 years ago
• enitrat / cairo-toolkit

  View on GitHub
  Generate the interfaces for your Cairo contracts
  ☆33Oct 29, 2022Updated 3 years ago
• lucadonnoh / axelrod

  View on GitHub
  Iterated prisoner's dilemma tournaments implemented with Cairo
  ☆25Jul 10, 2022Updated 3 years ago
• cronokirby / seed-split

  View on GitHub
  Splitting seed phrases into shares
  ☆65Mar 27, 2022Updated 3 years ago
• software-mansion / scarb

  View on GitHub
  The Cairo package manager
  ☆216Updated this week
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• liamzebedee / awesome-cairo

  View on GitHub
  A list of awesome Cairo and STARK-adjacent projects
  ☆16May 15, 2022Updated 3 years ago