☆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:
- A CosmosSDK application for moving assets on and off of EVM based, POW chains☆491Jan 24, 2023Updated 3 years ago
- Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.☆1,012Feb 17, 2026Updated last week
- Collection of resources for all things Tendermint☆97Feb 8, 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
- Client libraries for Tendermint/CometBFT in Rust!☆670Nov 25, 2025Updated 3 months ago
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆84Apr 6, 2023Updated 2 years ago
- Cosmos Testnets☆175Updated this week
- An IBC relayer for ibc-go☆416Apr 16, 2025Updated 10 months ago
- Tendermint with an embedded BLS random beacon☆18Dec 11, 2022Updated 3 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 2 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆28Dec 27, 2021Updated 4 years ago
- Cosmos SDK Liquidity module☆140Feb 23, 2022Updated 4 years 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
- APALACHE: symbolic model checker for TLA+ and Quint☆529Feb 11, 2026Updated 2 weeks ago
- Merkleized IAVL+ Tree implementation in Go☆449Feb 12, 2026Updated 2 weeks ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- Sparse Merkle Tree☆14May 6, 2023Updated 2 years ago
- ☆60Apr 26, 2021Updated 4 years ago
- IBC Relayer in Rust☆488Oct 29, 2025Updated 4 months ago
- A BPoS blockchain that enables cross-chain interoperability through a unified service model -- built with Cosmos-SDK☆304Feb 19, 2026Updated last week
- Rosetta Libraries for Cosmos SDK apps☆24May 12, 2021Updated 4 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆5,860Updated this week
- ☆15Sep 28, 2020Updated 5 years ago
- ☆12Jan 24, 2023Updated 3 years ago
- Building generic merkle proof format for IBC☆128Jul 29, 2025Updated 7 months ago
- Celestia Specifications☆49Sep 19, 2022Updated 3 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- Zcash-flavored Ed25519 for use in Zebra.☆35Feb 20, 2026Updated last week
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- Typescript implementation of Simple Serialize (SSZ)☆60Jan 24, 2026Updated last month
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- Library for interacting with applications built on the Cosmos SDK 📚☆27Mar 4, 2023Updated 2 years ago
- Intel assembly finite field library generator☆13Nov 23, 2023Updated 2 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Dec 29, 2022Updated 3 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated last month
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Tutorials for building modules for the Cosmos SDK☆516Sep 16, 2024Updated last year
- Protobuf3 with Interface support - Designed for blockchains (deterministic, upgradeable, fast, and compact)☆261Oct 19, 2021Updated 4 years ago