Alternatives and similar repositories for cosmos-sdk-codeql:

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

• informalsystems / audits
  Security Audits by Informal Systems
  ☆15Updated 3 months ago
• oak-security / cosmwasm-security-dojo
  ☆36Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated 2 years ago
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆54Updated 3 months ago
• JumpCrypto / Safu
  Creating a standard for whitehats
  ☆29Updated 2 years ago
• lightclient / sys-asm
  Ethereum system contract implementations (asm)
  ☆41Updated last month
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆76Updated last year
• oak-security / cosmwasm-ctf
  ☆46Updated last year
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆37Updated 4 months ago
• alrevuelta / eth-metrics
  Monitor the performance of your Ethereum 2.0 staking pool
  ☆35Updated last year
• protolambda / erigon
  Ethereum implementation on the efficiency frontier
  ☆33Updated last year
• flashbots / go-boost-utils
  Eth2 builder API types and signing for Golang
  ☆42Updated this week
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated last year
• dvush / check-relay-value
  ☆19Updated 2 years ago
• hats-finance / games
  ☆37Updated 2 years ago
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆23Updated 2 months ago
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆26Updated 8 months ago
• MariusVanDerWijden / tx-fuzz
  ☆107Updated last month
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆40Updated 2 years ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆57Updated this week
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• Dedaub / audits
  Repository containing past audit reports
  ☆53Updated last year
• flashbots / reorg-monitor
  Ethereum Reorg Monitoring
  ☆51Updated last year
• cuck-holdings / metro
  shared aggregator chain that accepts transactions from many different "lazy" chains and post them on Celestia
  ☆15Updated last year
• duality-labs / duality
  ☆11Updated last year
• flashbots / block-validation-geth
  To be deprecated in favor of https://github.com/flashbots/builder
  ☆45Updated 2 years ago