☆135Feb 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,018Updated this week
- A CosmosSDK application for moving assets on and off of EVM based, POW chains☆488Jan 24, 2023Updated 3 years ago
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆85Apr 6, 2023Updated 3 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
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Client libraries for Tendermint/CometBFT in Rust!☆671Apr 17, 2026Updated 5 months ago
- Collection of resources for all things Tendermint☆96Feb 8, 2023Updated 3 years ago
- Cosmos Testnets☆181Updated this week
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆600Updated this week
- An IBC relayer for ibc-go☆412Apr 16, 2025Updated last year
- GAME Hub is a fair and secure game-specific blockchain using tendermint where developers can easily create decentralized games.☆16Jun 3, 2022Updated 4 years ago
- ☆60Apr 26, 2021Updated 5 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆5,864Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cosmos SDK Liquidity module☆138Feb 23, 2022Updated 4 years ago
- Merkleized IAVL+ Tree implementation in Go☆446Updated this week
- IBC Relayer in Rust☆505Oct 29, 2025Updated 10 months ago
- ☆42Nov 28, 2023Updated 2 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 3 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆28Dec 27, 2021Updated 4 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 8 months 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 8 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☆303Apr 24, 2026Updated 4 months ago
- Rosetta Libraries for Cosmos SDK apps☆24May 12, 2021Updated 5 years ago
- Zcash-flavored Ed25519 for use in Zebra.☆35Jun 19, 2026Updated 3 months ago
- A block explorer for Cosmos☆177Dec 1, 2021Updated 4 years ago
- Building generic merkle proof format for IBC☆129Updated this week
- Inter-Blockchain Communication Protocol (IBC) implementation in Golang.☆646Updated this week
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Celestia Specifications☆49Sep 19, 2022Updated 4 years ago
- Cosmos Hub☆573Updated this week
- Go bindings to the CosmWasm VM☆207Aug 18, 2026Updated last month
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `abci`☆253Jul 2, 2018Updated 8 years ago
- Common database interface for various database backends for Tendermint Core and Cosmos SDK☆93Updated this week
- Tutorials for building modules for the Cosmos SDK☆512Sep 16, 2024Updated 2 years ago
- tm-load-test tool - Tendermint load test application☆47Nov 15, 2024Updated last year