Alternatives and similar repositories for cosmos-sdk-codeql

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

• MariusVanDerWijden / tx-fuzz
  ☆120Updated 7 months ago
• MariusVanDerWijden / FuzzyVM
  Implementation of a differential fuzzer for Ethereum Virtual Machines
  ☆97Updated 5 months ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆64Updated this week
• ethereum / protocol-security
  ☆41Updated last month
• fabriqnetwork / specular
  Specular Monorepo
  ☆37Updated last year
• informalsystems / audits
  Security Audits by Informal Systems
  ☆19Updated last week
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆79Updated last year
• oak-security / cosmwasm-security-dojo
  ☆37Updated last year
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• withtally / synceth
  A smart contract development toolchain for Go
  ☆34Updated 4 months ago
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆49Updated last week
• iden3 / contracts
  IDEN3 smartcontracts
  ☆99Updated last week
• karalabe / ssz
  Opinionated 0-alloc SSZ codec for Go
  ☆53Updated last year
• NethermindEth / el-node-spec
  ☆25Updated last year
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆127Updated this week
• bilinearlabs / eth-metrics
  A blazing-fast, scalable, and easy-to-setup service that tracks Ethereum validator performance using public beacon chain data.
  ☆35Updated this week
• nerolation / EIP-Stealth-Address-ERC
  ☆57Updated 2 years ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆50Updated last month
• withtally / rollcall
  Cross chain governance libraries for rollups
  ☆76Updated 3 years ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆107Updated last week
• ralexstokes / relay-monitor
  ☆60Updated last year
• protolambda / eth2-val-tools
  Some experimental tools to manage validators - use at your own risk
  ☆75Updated 2 months ago
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆97Updated last year
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆54Updated last year
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆79Updated 6 months ago
• ethereum / kzg-ceremony-specs
  Specs for Ethereum's KZG Powers of Tau Ceremony
  ☆111Updated 2 years ago
• lightclient / rpctestgen
  Execution API test generator.
  ☆40Updated last week
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆92Updated 3 years ago
• taxmeifyoucan / ephemeral-testnet
  Resources and project management of Ethereum ephemeral testnet
  ☆27Updated 2 years ago
• ethereum / distributed-validator-specs
  Ethereum Distributed Validator Specifications
  ☆87Updated 3 years ago