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
  ☆121Updated 3 weeks ago
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 11 months ago
• ShieldifyMartin / web3-audits
  ☆50Updated 2 months ago
• chainlight-io / publications
  ☆85Updated 6 months ago
• vnmrtz / mastering-fuzzing
  Practical fuzzing examples for the mastering fuzzing talk
  ☆107Updated last year
• chinmay-farkya / Audits
  This repository represents my portfolio of smart contract security audits and audit contest findings
  ☆51Updated 6 months ago
• 0xNazgul / fuzzydefi
  Pre-built security properties for commonly forked DeFi protocols
  ☆192Updated last year
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆44Updated 2 months ago
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 2 years ago
• 0xriazaka / Move-Audit-Resources
  This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, c…
  ☆58Updated 4 months ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆105Updated last month
• devdacian / solidity-fuzzing-comparison
  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
  ☆143Updated last month
• Hexens / awesome-fhe-attacks
  A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)
  ☆61Updated 3 months ago
• cryptostaker2 / blockchain-security-audits
  A collection of my security audits
  ☆54Updated last week
• electisec / Solidity-Proxy-Playground
  The good, the bad, and the ugly of proxy implementations
  ☆103Updated 11 months ago
• sherlock-protocol / sherlock-reports
  Sherlock audit and coverage reports
  ☆121Updated this week
• paradigmxyz / paradigm-ctf-2023
  ☆67Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆70Updated 3 weeks ago
• HollaDieWaldfee100 / audits
  Portfolio of my work.
  ☆66Updated 11 months ago
• gkrastenov / audits
  ☆34Updated last week
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆103Updated last year
• 0xToshii / mr-steal-yo-crypto-ctf-foundry
  Solidity CTF challenges for mrstealyocrypto.xyz (foundry)
  ☆135Updated last year
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆75Updated 5 months ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆206Updated last year
• muellerberndt / legion
  Scrappy bot army that automates web3 bug hunting workflows.
  ☆80Updated this week
• nullity00 / zk-security-reviews
  Collection of security reviews of ZK Protocols
  ☆222Updated last month
• infosec-us-team / Immunefi-Bug-Bounty-Programs-Unofficial
  Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to t…
  ☆39Updated this week
• lucas-manuel / invariant-examples
  ☆163Updated last year
• electisec / CommonWeb3SecurityIssues
  Common security findings in smart contracts
  ☆119Updated 2 years ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆101Updated 3 weeks ago