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
  ☆17Updated this week
• oak-security / cosmwasm-security-dojo
  ☆36Updated last year
• oak-security / cosmwasm-ctf
  ☆48Updated last year
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆54Updated 6 months ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆60Updated this week
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆42Updated this week
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆77Updated last year
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆81Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• Layr-Labs / eigenda-proxy
  Secure and optimized communication layer for rollups using EigenDA.
  ☆21Updated this week
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆60Updated 3 years ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆45Updated 4 months ago
• withtally / synceth
  A smart contract development toolchain for Go
  ☆34Updated 5 months ago
• taxmeifyoucan / ephemeral-testnet
  Resources and project management of Ethereum ephemeral testnet
  ☆27Updated last year
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 6 months ago
• 0age / devcon5-contract-runtime-mutability
  Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka
  ☆36Updated 5 years ago
• axiom-crypto / axiom-apps
  ☆34Updated last year
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆39Updated this week
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆25Updated last week
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆90Updated last year
• nomad-xyz / rust
  Rust work for nomad actors
  ☆57Updated 2 years ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆60Updated last year
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 11 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆83Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• fabriqnetwork / specular
  Specular Monorepo
  ☆37Updated last year
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆16Updated last year
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆60Updated last year
• shutter-network / rolling-shutter
  A threshold encryption framework for L1 & L2 EVM-compatible chains.
  ☆31Updated this week
• InjectiveFoundation / injective-core
  ☆36Updated 2 weeks ago