☆133Feb 23, 2022Updated 4 years ago
Alternatives and similar repositories for spec
Users that are interested in spec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.☆1,009Feb 17, 2026Updated last month
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆83Apr 6, 2023Updated 3 years ago
- A CosmosSDK application for moving assets on and off of EVM based, POW chains☆490Jan 24, 2023Updated 3 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆23Apr 17, 2023Updated 2 years ago
- Ethermint is a scalable and interoperable Ethereum, built on Proof-of-Stake with fast-finality using the Cosmos SDK.☆411Nov 30, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Client libraries for Tendermint/CometBFT in Rust!☆668Nov 25, 2025Updated 4 months ago
- Collection of resources for all things Tendermint☆97Feb 8, 2023Updated 3 years ago
- Cosmos Testnets☆177Updated this week
- APALACHE: symbolic model checker for TLA+ and Quint☆544Updated this week
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- An IBC relayer for ibc-go☆414Apr 16, 2025Updated 11 months ago
- GAME Hub is a fair and secure game-specific blockchain using tendermint where developers can easily create decentralized games.☆16Jun 3, 2022Updated 3 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆5,866Apr 3, 2026Updated last week
- ☆60Apr 26, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Merkleized IAVL+ Tree implementation in Go☆449Updated this week
- IBC Relayer in Rust☆492Oct 29, 2025Updated 5 months ago
- Cosmos SDK Liquidity module☆139Feb 23, 2022Updated 4 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 2 months ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 2 years ago
- ☆43Nov 28, 2023Updated 2 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆28Dec 27, 2021Updated 4 years ago
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆16Oct 24, 2017Updated 8 years ago
- Tendermint with an embedded BLS random beacon☆18Dec 11, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 7 years ago
- Tower-based ABCI interface.☆79Feb 5, 2025Updated last year
- A BPoS blockchain that enables cross-chain interoperability through a unified service model -- built with Cosmos-SDK☆303Updated this week
- Rosetta Libraries for Cosmos SDK apps☆24May 12, 2021Updated 4 years ago
- Building generic merkle proof format for IBC☆128Jul 29, 2025Updated 8 months ago
- Zcash-flavored Ed25519 for use in Zebra.☆35Mar 20, 2026Updated 3 weeks ago
- A block explorer for Cosmos☆178Dec 1, 2021Updated 4 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- Inter-Blockchain Communication Protocol (IBC) implementation in Golang.☆636Apr 1, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Celestia Specifications☆49Sep 19, 2022Updated 3 years ago
- Go bindings to the CosmWasm VM☆205Feb 17, 2026Updated last month
- Cosmos Hub☆565Updated this week
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `abci`☆254Jul 2, 2018Updated 7 years ago
- Tutorials for building modules for the Cosmos SDK☆517Sep 16, 2024Updated last year
- Common database interface for various database backends for Tendermint Core and Cosmos SDK☆91Updated this week
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago