Alternatives and similar repositories for caracal

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

• FuzzingLabs / cairo-fuzzer
  Cairo/Starknet smart contract fuzzer
  ☆129Updated 9 months ago
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆147Updated 11 months ago
• cryptostaker2 / blockchain-security-audits
  A collection of my security audits
  ☆55Updated 6 months ago
• ShieldifyMartin / web3-audits
  ☆49Updated last year
• ustas-eth / zkEVM-Bootcamp
  My homework and notes on zkEVM Bootcamp by zkSync and Encode Club
  ☆65Updated last year
• Hexens / Smart-Contract-Review-Public-Reports
  List of the public smart contract audit reports and security reviews performed by Hexens.
  ☆54Updated last week
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆88Updated last month
• vnmrtz / mastering-fuzzing
  Practical fuzzing examples for the mastering fuzzing talk
  ☆109Updated 2 years ago
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆61Updated this week
• paradigmxyz / paradigm-ctf-2023
  ☆87Updated 2 years ago
• nullity00 / zk-security-reviews
  Collection of security reviews of ZK Protocols
  ☆239Updated last year
• MEDGA-eth / foundry
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆48Updated last year
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated last year
• chinmay-farkya / Audits
  This repository represents my portfolio of smart contract security audits and audit contest findings
  ☆51Updated last year
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 6 months ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆29Updated 2 weeks ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆117Updated 5 months ago
• GuardianAudits / DefenderAudits
  ☆21Updated 2 years ago
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆77Updated last year
• SunWeb3Sec / DeFi-Security-Breach-RCA
  DeFi Security Breaches: Comprehensive Root Cause Analysis
  ☆81Updated 6 months ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated 2 years ago
• chainlight-io / publications
  ☆88Updated 4 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆76Updated last year
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆21Updated 10 months ago
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆75Updated last month
• yAudit / Solidity-Proxy-Playground
  The good, the bad, and the ugly of proxy implementations
  ☆104Updated 2 years ago
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• PositiveSecurity / tron-audit-guide
  Checklist for security audit of tron projects by @positivesecurity
  ☆26Updated last year
• ret2basic / MoonMath-Companion
  MoonMath Manual notes, exercise solution and extra comments.
  ☆31Updated last year