informalsystems / unclogLinks
Unclog your changelog
☆36Updated last year
Alternatives and similar repositories for unclog
Users that are interested in unclog are comparing it to the libraries listed below
Sorting:
- ☆50Updated 3 weeks ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆62Updated 2 months ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- A command line-based parameterized contracting tool☆46Updated 2 years ago
- Rust SDK for Ledger device applications☆58Updated last week
- Rust crate to connect to Ledger devices☆42Updated 4 months ago
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- Rust client framework for interacting with CometBFT☆20Updated 3 months ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Updated last year
- Rust crate for creating ABCI applications☆32Updated 2 years ago
- Rust boilerplate application for Ledger Nano S+/X, Stax and Flex☆48Updated last week
- Merkle tree toolkit☆46Updated 5 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Model-based testing tool☆62Updated 8 months ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆85Updated 2 years ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Updated 8 months ago
- Rust implementation of Amino☆27Updated 5 years ago
- Library for building stateful property tests using the proptest crate☆26Updated last month
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Updated last year
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated last year
- Tool to manage local gaiad instances - without docker☆13Updated 6 months ago
- CID in rust☆96Updated 2 months ago
- Instrument and transform wasm modules.☆52Updated last year
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- Secure SGX Sidecar for CosmWasm☆58Updated last week
- An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses☆49Updated 5 months ago
- A Formal Semantics of WebAssembly in K☆83Updated last week
- Official rust implementation of the Kadcast P2P protocol for ultra-efficient message dissemination within Dusk Network☆28Updated last year
- Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.☆23Updated last year