Alternatives and similar repositories for cosmos-sdk-codeql

Users that are interested in cosmos-sdk-codeql are comparing it to the libraries listed below

• oak-security / cosmwasm-security-dojo
  ☆37Updated last year
• MariusVanDerWijden / tx-fuzz
  ☆119Updated 7 months ago
• informalsystems / audits
  Security Audits by Informal Systems
  ☆19Updated 3 weeks ago
• MariusVanDerWijden / FuzzyVM
  Implementation of a differential fuzzer for Ethereum Virtual Machines
  ☆97Updated 4 months ago
• ethereum / protocol-security
  ☆41Updated 3 weeks ago
• oak-security / cosmwasm-ctf
  ☆48Updated 2 years ago
• karalabe / ssz
  Opinionated 0-alloc SSZ codec for Go
  ☆53Updated last year
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆64Updated last week
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated last month
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• protolambda / forkdiff
  CLI tool to generate documentation page of git fork diff
  ☆87Updated 2 months ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆54Updated 11 months ago
• succinctlabs / eth-proof-of-consensus
  ☆104Updated 3 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 6 months ago
• fabriqnetwork / specular
  Specular Monorepo
  ☆37Updated last year
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 4 months ago
• skip-mev / mev-tendermint
  ☆75Updated 6 months ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆79Updated last year
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆49Updated last week
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 3 months ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆49Updated 3 weeks ago
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆125Updated this week
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆62Updated last year
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated 2 years ago
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆67Updated 3 weeks ago
• tangle-network / protocol-solidity
  Cross chain shielded pool infrastructure / protocols.
  ☆37Updated last year
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆61Updated 2 years ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆85Updated 6 months ago
• ethereum / requests-for-proposals
  ☆58Updated 8 months ago