☆136Feb 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:
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆85Apr 6, 2023Updated 3 years ago
- Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.☆1,021Updated this week
- A CosmosSDK application for moving assets on and off of EVM based, POW chains☆488Jan 24, 2023Updated 3 years ago
- Ethermint is a scalable and interoperable Ethereum, built on Proof-of-Stake with fast-finality using the Cosmos SDK.☆410Nov 30, 2021Updated 4 years ago
- Collection of resources for all things Tendermint☆96Feb 8, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Client libraries for Tendermint/CometBFT in Rust!☆671Oct 26, 2026Updated last week
- ☆14Feb 12, 2019Updated 7 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 3 years ago
- An IBC relayer for ibc-go☆413Apr 16, 2025Updated last year
- Cosmos Testnets☆181Oct 23, 2026Updated last week
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- Rosetta Libraries for Cosmos SDK apps☆24May 12, 2021Updated 5 years ago
- Tower-based ABCI interface.☆80Feb 5, 2025Updated last year
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆16Oct 24, 2017Updated 9 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.
- Tutorials for building modules for the Cosmos SDK☆510Sep 16, 2024Updated 2 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆5,867Updated this week
- tm-load-test tool - Tendermint load test application☆47Nov 15, 2024Updated last year
- Merkleized IAVL+ Tree implementation in Go☆446Oct 5, 2026Updated 3 weeks ago
- ☆60Apr 26, 2021Updated 5 years ago
- IBC Relayer in Rust☆504Oct 29, 2025Updated last year
- Building generic merkle proof format for IBC☆129Sep 28, 2026Updated last month
- APALACHE: symbolic model checker for TLA+ and Quint☆619Oct 12, 2026Updated 3 weeks ago
- DEPRECATED: TMSP Governance App☆17May 2, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- ☆42Nov 28, 2023Updated 2 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 5 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 8 years ago
- Cosmos Hub☆574Updated this week
- A BPoS blockchain that enables cross-chain interoperability through a unified service model -- built with Cosmos-SDK☆302Oct 1, 2026Updated last month
- DEPRECATED - Eth2 data availability sampling - Testground plan☆28Dec 27, 2021Updated 4 years ago
- Go bindings to the CosmWasm VM☆208Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Protobuf3 with Interface support - Designed for blockchains (deterministic, upgradeable, fast, and compact)☆261Oct 19, 2021Updated 5 years ago
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `abci`☆253Jul 2, 2018Updated 8 years ago
- Rust implementation of Amino☆27Jun 23, 2020Updated 6 years ago
- Basic Cosmos SDK application with WebAssembly smart contracts☆415Oct 21, 2026Updated last week
- Inter-Blockchain Communication Protocol (IBC) implementation in Golang.☆647Updated this week
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- WebAssembly Smart Contracts for the Cosmos SDK☆1,143Oct 9, 2026Updated 3 weeks ago