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
• informalsystems / cosmos.nix
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆62Updated 2 months ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• LedgerHQ / ledger-device-rust-sdk
  Rust SDK for Ledger device applications
  ☆58Updated last week
• Zondax / ledger-rs
  Rust crate to connect to Ledger devices
  ☆42Updated 4 months ago
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆53Updated last year
• cometbft / cometbft-rs
  Rust client framework for interacting with CometBFT
  ☆20Updated 3 months ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• turbofish-org / ed
  Minimalist crate for deterministic binary encodings in Rust
  ☆11Updated last year
• devashishdxt / abci-rs
  Rust crate for creating ABCI applications
  ☆32Updated 2 years ago
• LedgerHQ / app-boilerplate-rust
  Rust boilerplate application for Ledger Nano S+/X, Stax and Flex
  ☆48Updated last week
• dusk-network / kelvin
  Merkle tree toolkit
  ☆46Updated 5 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆62Updated 8 months ago
• diem / bcs
  Rust implementation of the Binary Canonical Serialization (BCS) format
  ☆85Updated 2 years ago
• freespek / solarkraft
  Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
  ☆12Updated 8 months ago
• tendermint / amino_rs
  Rust implementation of Amino
  ☆27Updated 5 years ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆26Updated last month
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated last year
• near / wasmer
  🚀 The leading WebAssembly Runtime supporting WASI and Emscripten
  ☆25Updated last year
• informalsystems / gm
  Tool to manage local gaiad instances - without docker
  ☆13Updated 6 months ago
• multiformats / rust-cid
  CID in rust
  ☆96Updated 2 months ago
• paritytech / wasm-instrument
  Instrument and transform wasm modules.
  ☆52Updated last year
• forbole / cosmos-rust-wallet
  A cosmos network key-signer buildable in WASM
  ☆29Updated 2 years ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆58Updated last week
• zcash / incrementalmerkletree
  An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses
  ☆49Updated 5 months ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated last week
• dusk-network / kadcast
  Official rust implementation of the Kadcast P2P protocol for ultra-efficient message dissemination within Dusk Network
  ☆28Updated last year
• banyancomputer / banyan-cli
  Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.
  ☆23Updated last year