informalsystems / unclogLinks
Unclog your changelog
☆36Updated this week
Alternatives and similar repositories for unclog
Users that are interested in unclog are comparing it to the libraries listed below
Sorting:
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- ☆51Updated last month
- Minimalist crate for deterministic binary encodings in Rust☆11Updated last year
- A reproducible package set for Cosmos, IBC and CosmWasm☆62Updated 3 months ago
- Rust SDK for Ledger device applications☆60Updated last week
- Rust boilerplate application for Ledger Nano S+/X, Stax and Flex☆48Updated last week
- Instrument and transform wasm modules.☆51Updated last year
- Rust crate for creating ABCI applications☆32Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- Merkle tree toolkit☆46Updated 5 years ago
- Rust client framework for interacting with CometBFT☆20Updated 4 months ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- Rust crate to connect to Ledger devices☆42Updated 4 months ago
- Lachesis BFT consensus for permission-less networks, in Rust☆34Updated 6 years ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆85Updated 2 years ago
- Official rust implementation of the Kadcast P2P protocol for ultra-efficient message dissemination within Dusk Network☆28Updated last year
- CID in rust☆96Updated last week
- Library for building stateful property tests using the proptest crate☆26Updated 2 months ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 10 months ago
- Register and discover services via Aqua☆19Updated 5 months ago
- A code browsing library for VCS file systems.☆31Updated 3 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Updated 9 months ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Updated 6 years ago
- ☆62Updated 7 months ago
- Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.☆23Updated last year
- Diffie-Hellman key exchange using the Ristretto255 group, in Rust.☆23Updated 2 years ago