Alternatives and similar repositories for unclog

Users that are interested in unclog are comparing it to the libraries listed below

• informalsystems / hermes-sdk
  ☆50Updated 3 weeks ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆50Updated last year
• LedgerHQ / ledger-device-rust-sdk
  Rust SDK for Ledger device applications
  ☆57Updated this week
• Zondax / ledger-rs
  Rust crate to connect to Ledger devices
  ☆42Updated 2 months ago
• LedgerHQ / app-boilerplate-rust
  Rust boilerplate application for Ledger Nano S+/X, Stax and Flex
  ☆47Updated this week
• informalsystems / cosmos.nix
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆61Updated last month
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 8 months ago
• informalsystems / modelator
  Model-based testing tool
  ☆61Updated 7 months ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• dusk-network / kelvin
  Merkle tree toolkit
  ☆46Updated 5 years ago
• turbofish-org / ed
  Minimalist crate for deterministic binary encodings in Rust
  ☆11Updated 11 months ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆25Updated 2 weeks ago
• multiformats / rust-cid
  CID in rust
  ☆95Updated last month
• forbole / cosmos-rust-wallet
  A cosmos network key-signer buildable in WASM
  ☆29Updated 2 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• devashishdxt / abci-rs
  Rust crate for creating ABCI applications
  ☆32Updated 2 years ago
• nccgroup / pairing-bls12381
  Pairing operations over the BLS12-381 elliptic curve in Haskell
  ☆14Updated 3 years ago
• Fantom-foundation / lachesis-rs
  Lachesis BFT consensus for permission-less networks, in Rust
  ☆34Updated 6 years ago
• zcash / incrementalmerkletree
  An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses
  ☆49Updated 4 months ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆29Updated 5 months ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆56Updated last year
• thyeem / monotree
  An optimized Sparse Merkle Tree in Rust
  ☆59Updated last month
• freespek / solarkraft
  Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
  ☆12Updated 7 months ago
• paritytech / wasm-instrument
  Instrument and transform wasm modules.
  ☆52Updated last year
• tendermint / amino_rs
  Rust implementation of Amino
  ☆27Updated 5 years ago
• diem / bcs
  Rust implementation of the Binary Canonical Serialization (BCS) format
  ☆85Updated last year
• RustCrypto / sponges
  Collection of sponge functions written in pure Rust
  ☆47Updated 2 weeks ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated last week
• fluencelabs / registry
  Register and discover services via Aqua
  ☆19Updated 3 months ago