A query suite for common bug patterns in Cosmos SDK-based applications
☆31Dec 5, 2023Updated 2 years ago
Alternatives and similar repositories for cosmos-sdk-codeql
Users that are interested in cosmos-sdk-codeql are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Jan 24, 2023Updated 3 years ago
- Security Audits by Informal Systems☆22Feb 27, 2026Updated 8 months ago
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆48Dec 13, 2024Updated last year
- Budget is a Cosmos SDK module that implements budget functionality.☆20Nov 8, 2022Updated 3 years ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- EVM Toolkit language support for Visual Studio Code☆18Sep 10, 2022Updated 4 years ago
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆85Apr 6, 2023Updated 3 years ago
- Track any transactions you need on multiple Cosmos chains☆16Jan 6, 2025Updated last year
- ☆12Nov 3, 2024Updated last year
- Digging up your artifacts since 2018☆16Oct 22, 2026Updated last week
- Examples of Solana applications verification with the Certora Prover☆12Jun 11, 2026Updated 4 months ago
- ☆13Jul 20, 2025Updated last year
- ☆11Dec 18, 2023Updated 2 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆22Oct 23, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cosmos SDK modules developed by Ignite☆13Apr 8, 2026Updated 6 months ago
- unhacked challenge 1: reaper☆42Sep 10, 2022Updated 4 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆77Oct 9, 2023Updated 3 years ago
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Nov 22, 2022Updated 3 years ago
- Ansible scripts for spinning up Cosmos network configurations☆47Oct 15, 2026Updated 2 weeks ago
- ☆11Mar 14, 2023Updated 3 years ago
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆24Oct 15, 2026Updated 2 weeks ago
- A tool for crashing blockchain nodes☆38Mar 7, 2025Updated last year
- The best development platform for building custom modular Cosmos-SDK blockchains☆112Feb 6, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆42Nov 28, 2023Updated 2 years ago
- ☆13Sep 17, 2022Updated 4 years ago
- ☆22Sep 10, 2024Updated 2 years ago
- Public Repository of our Audit Reports☆28Sep 15, 2026Updated last month
- Calculate per-second rates for MCD applications☆11Jun 24, 2022Updated 4 years ago
- Farming is a Cosmos SDK module that implements farming functionality☆20Mar 24, 2022Updated 4 years ago
- 📜 Technical Architecture of MilkyWay's Liquid Staking☆11Jan 16, 2024Updated 2 years ago
- ☆13Jan 10, 2025Updated last year
- apple a day keeps hacker away 🍏☆24Jul 8, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- XRPL Private Testnet setup scripts for Docker Engine.☆10Jul 11, 2024Updated 2 years ago
- ☆12Sep 5, 2022Updated 4 years ago
- Run CosmWasm smart contracts in Node.js and web browsers☆45Jan 9, 2023Updated 3 years ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆496Updated this week
- opinionated Hardhat+Foundry template for smart contract development. 🚀 Slither + CI + coverage included.☆12Apr 29, 2023Updated 3 years ago
- looping☆19Jun 10, 2025Updated last year