crytic / amarna

Related projects ⓘ

Alternatives and complementary repositories for amarna

• auditless / awesome-cairo
  Resources for Cairo 1.0 development.
  ☆172Updated 9 months ago
• auditless / cairo-template
  A minimal template for building smart contracts with Cairo 1.0
  ☆86Updated last year
• Philogy / balls
  A DSL for generating optimal EVM bytecode
  ☆186Updated 2 weeks ago
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 2 years ago
• spearbit-audits / writing-exercise
  ☆103Updated 2 years ago
• crytic / roundme
  ☆88Updated 5 months ago
• amanusk / awesome-starknet-security
  A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
  ☆53Updated 2 months ago
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆139Updated 3 months ago
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆71Updated this week
• polyfact / cairo-resources-list
  A curated list of awesome Cairo resources, libraries, tools and more.
  ☆65Updated 2 years ago
• hananbeer / zerem
  ☆101Updated last year
• crytic / caracal
  Static Analyzer for Starknet smart contracts
  ☆136Updated 10 months ago
• OilerNetwork / fossil_cairo0
  ☆99Updated 2 years ago
• Darlington02 / min-starknet
  A combination of simple implementations of different existing protocols and standards in Cairo
  ☆45Updated last year
• lucas-manuel / invariant-examples
  ☆162Updated last year
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆141Updated 10 months ago
• CairOpen / cairopen-contracts
  A set of standardised Cairo librairies for use on StarkNet
  ☆23Updated 2 years ago
• ericglau / cairo-ls
  Cairo Language Server
  ☆60Updated last year
• chainlight-io / publications
  ☆83Updated 4 months ago
• 0xmonsoon / evm-from-scratch
  Implementation of the Ethereum Virtual Machine in python.
  ☆86Updated last year
• paradigmxyz / zk-eth-rng
  Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
  ☆174Updated last year
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆77Updated 2 years ago
• starknet-edu / starknet-accounts
  Learn how to build and deploy StarkNet Accounts
  ☆85Updated last year
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆73Updated 2 weeks ago
• open-dust / cairo-foundry
  Foundry like framework for starknet contracts
  ☆77Updated last year
• enitrat / cairo1-template
  ☆43Updated last year
• onlydustxyz / cairo-streams
  Array stream library written in old-fashioned Cairo
  ☆61Updated 2 years ago
• exp-table / nplate
  A template for noir.
  ☆140Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆94Updated 10 months ago