Alternatives and similar repositories for integrated-security

Users that are interested in integrated-security are comparing it to the libraries listed below

• MuKnSys / salesforce-programmable-wallets
  ☆13Updated last month
• HalbornSecurity / burp-eth
  ☆23Updated 4 years ago
• CyVers-AI / oswar
  Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities
  ☆56Updated last year
• gokulsan / awesome-blockchain-security-platforms
  Blockchain Security Tools and Techniques - A Deep Dive to Virtual Machines, Vulnerability Assessments, Penetration Testing, Audit Tools e…
  ☆32Updated last year
• alchemyplatform / aa-starter-zksync
  ☆15Updated last year
• Ackee-Blockchain / awesome-wake-tests
  A collection of awesome Wake tests including links to guides and more.
  ☆16Updated 3 months ago
• crytic / damn-vulnerable-defi-echidna
  ☆13Updated 2 years ago
• trailofbits / zkdocs
  Interactive documentation on zero-knowledge proof systems and related primitives.
  ☆171Updated 4 months ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 3 years ago
• shardeum / shardeum-docs
  Official Shardeum Documentation
  ☆14Updated last week
• MinaFoundation / Core-Grants
  ☆29Updated last year
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 5 months ago
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆99Updated last year
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆81Updated 3 years ago
• argotorg / yul-isabelle
  ☆41Updated 3 years ago
• runtimeverification / kontrol
  ☆85Updated this week
• HalbornSecurity / PublicReports
  ☆243Updated last year
• crytic / caracal
  Static Analyzer for Starknet smart contracts
  ☆145Updated last year
• MuKnSys / ada-wallet-for-salesforce
  ☆14Updated 2 months ago
• HalbornSecurity / CTFs
  Collection of CTFs for Fun and Interviewing Applicants
  ☆151Updated 10 months ago
• vezenovm / mastermind-noir
  ☆32Updated 3 years ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆115Updated last year
• theredguild / DevSecOps-toolkit
  Curation of DevSecOps tools that all work together inside the minimum amount of containers. Just run make exec and read the How To!
  ☆34Updated last year
• SonyaMoisset / awesome-blockchain-security
  A curated list of awesome blockchain security resources
  ☆27Updated 2 years ago
• informalsystems / audits
  Security Audits by Informal Systems
  ☆19Updated 2 weeks ago
• Inversive-Labs / eloizer
  Static analyzer tool for Solana
  ☆74Updated last month
• CPerezz / EthDocs
  Here is where I upload all the notes i take about the Ethereum world to share with everyone.
  ☆23Updated 7 years ago
• zbraiterman / awesome-web3
  A curated list of resources for learning about Web3
  ☆17Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆92Updated last year
• FuzzingLabs / cairo-fuzzer
  Cairo/Starknet smart contract fuzzer
  ☆129Updated 7 months ago