☆134Feb 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
Sorting:
- Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.☆1,012Feb 17, 2026Updated last month
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆84Apr 6, 2023Updated 2 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.☆22Apr 17, 2023Updated 2 years ago
- Ethermint is a scalable and interoperable Ethereum, built on Proof-of-Stake with fast-finality using the Cosmos SDK.☆412Nov 30, 2021Updated 4 years ago
- Client libraries for Tendermint/CometBFT in Rust!☆670Nov 25, 2025Updated 3 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☆531Updated this week
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- An IBC relayer for ibc-go☆415Apr 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,861Updated this week
- ☆60Apr 26, 2021Updated 4 years ago
- Merkleized IAVL+ Tree implementation in Go☆449Feb 12, 2026Updated last month
- IBC Relayer in Rust☆490Oct 29, 2025Updated 4 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)☆17Oct 24, 2017Updated 8 years ago
- Tendermint with an embedded BLS random beacon☆18Dec 11, 2022Updated 3 years ago
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 7 years ago
- Tower-based ABCI interface.☆78Feb 5, 2025Updated last year
- A BPoS blockchain that enables cross-chain interoperability through a unified service model -- built with Cosmos-SDK☆304Mar 5, 2026Updated 2 weeks ago
- Rosetta Libraries for Cosmos SDK apps☆24May 12, 2021Updated 4 years ago
- Building generic merkle proof format for IBC☆128Jul 29, 2025Updated 7 months ago
- Zcash-flavored Ed25519 for use in Zebra.☆35Feb 20, 2026Updated last month
- A block explorer for Cosmos☆179Dec 1, 2021Updated 4 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- Inter-Blockchain Communication Protocol (IBC) implementation in Golang.☆634Updated this week
- Celestia Specifications☆49Sep 19, 2022Updated 3 years ago
- Go bindings to the CosmWasm VM☆205Feb 17, 2026Updated last month
- Cosmos Hub☆566Updated 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☆516Sep 16, 2024Updated last year
- Common database interface for various database backends for Tendermint Core and Cosmos SDK☆90Updated this week
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago