informalsystems / unclogLinks
Unclog your changelog
☆36Updated 6 months ago
Alternatives and similar repositories for unclog
Users that are interested in unclog are comparing it to the libraries listed below
Sorting:
- ☆11Updated 2 years ago
- ☆37Updated this week
- Instrument and transform wasm modules.☆51Updated 10 months ago
- Rust client framework for interacting with CometBFT☆12Updated last week
- A reproducible package set for Cosmos, IBC and CosmWasm☆60Updated 2 weeks ago
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 10 months ago
- Early-stage research related to the Anoma protocols.☆23Updated last year
- Rust implementation of Amino☆27Updated 4 years ago
- A poptrie implementation☆18Updated last year
- Rust SDK for Ledger device applications☆55Updated this week
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Updated 6 months ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆83Updated last year
- Protocols made fun: Igor's blog☆10Updated 3 weeks ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆24Updated 6 months ago
- Rust boilerplate application for Ledger Nano S+/X, Stax and Flex☆46Updated this week
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- A command line-based parameterized contracting tool☆46Updated last year
- Rust crate for creating ABCI applications☆31Updated 2 years ago
- Decentralized Reliability Engineering☆18Updated this week
- Library for building stateful property tests using the proptest crate☆24Updated last week
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- serde_json for Wasm programs (small, deterministic, no floats)