Alternatives and similar repositories for integrated-security

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

• circlefin / w3s-pw-web-sdk
  ☆15Updated last month
• alchemyplatform / aa-starter-zksync
  ☆15Updated last year
• CyVers-AI / oswar
  Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities
  ☆56Updated last year
• HalbornSecurity / burp-eth
  ☆23Updated 4 years ago
• MuKnSys / salesforce-programmable-wallets
  Programmable Wallets for Salesforce, powered by Circle Programmable Wallets, is an open source solution built on Circle Programmable Wall…
  ☆13Updated 3 months ago
• shardeum / shardeum-docs
  Official Shardeum Documentation
  ☆14Updated this week
• security-alliance / frameworks
  Official repository for the Security Frameworks by SEAL. Currently under development, not a release.
  ☆68Updated this week
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 7 months ago
• ethereum / protocol-security
  ☆42Updated 2 weeks ago
• MinaFoundation / Core-Grants
  ☆29Updated last year
• SonyaMoisset / awesome-blockchain-security
  A curated list of awesome blockchain security resources
  ☆27Updated 2 years ago
• trailofbits / zkdocs
  Interactive documentation on zero-knowledge proof systems and related primitives.
  ☆172Updated 5 months ago
• HalbornSecurity / PublicReports
  ☆243Updated last year
• crypto-com / cosmos-sdk-codeql
  A query suite for common bug patterns in Cosmos SDK-based applications
  ☆29Updated 2 years ago
• Consensys / eth2.0-dafny
  Eth2.0 spec in Dafny
  ☆80Updated last year
• argotorg / solcore
  experimental solidity compiler
  ☆95Updated last week
• ethereum / eipw
  ☆32Updated 9 months ago
• crytic / trailofbits-security
  The Trail of Bits Truffle Security Toolbox
  ☆28Updated 2 years ago
• argotorg / act
  Smart contract specification language
  ☆263Updated this week
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 3 years ago
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Updated 7 months ago
• informalsystems / audits
  Security Audits by Informal Systems
  ☆20Updated 2 months ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆49Updated 3 months ago
• gokulsan / awesome-blockchain-security-platforms
  Blockchain Security Tools and Techniques - A Deep Dive to Virtual Machines, Vulnerability Assessments, Penetration Testing, Audit Tools e…
  ☆33Updated last year
• argotorg / yul-isabelle
  ☆41Updated 3 years ago
• crytic / cloudexec
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs
  ☆22Updated 3 weeks ago
• ensdomains / name-wrapper
  ☆46Updated 3 years ago
• crytic / damn-vulnerable-defi-echidna
  ☆13Updated 2 years ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆260Updated last year
• crytic / echidna-parade
  ☆30Updated 2 years ago