Alternatives and similar repositories for unclog

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

• informalsystems / hermes-sdk
  ☆45Updated last week
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• informalsystems / cosmos.nix
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆61Updated 3 weeks ago
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆49Updated last year
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• Zondax / ledger-rs
  Rust crate to connect to Ledger devices
  ☆42Updated 2 months ago
• LedgerHQ / ledger-device-rust-sdk
  Rust SDK for Ledger device applications
  ☆58Updated this week
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• cometbft / cometbft-rs
  Rust client framework for interacting with CometBFT
  ☆18Updated last month
• dusk-network / kelvin
  Merkle tree toolkit
  ☆46Updated 4 years ago
• LedgerHQ / app-boilerplate-rust
  Rust boilerplate application for Ledger Nano S+/X, Stax and Flex
  ☆47Updated last week
• informalsystems / modelator
  Model-based testing tool
  ☆61Updated 6 months ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• devashishdxt / abci-rs
  Rust crate for creating ABCI applications
  ☆32Updated 2 years ago
• turbofish-org / ed
  Minimalist crate for deterministic binary encodings in Rust
  ☆11Updated 10 months ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆33Updated 5 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated last week
• banyancomputer / banyan-cli
  Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.
  ☆23Updated last year
• diem / bcs
  Rust implementation of the Binary Canonical Serialization (BCS) format
  ☆84Updated last year
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆115Updated 5 months ago
• forbole / cosmos-rust-wallet
  A cosmos network key-signer buildable in WASM
  ☆29Updated 2 years ago
• Fantom-foundation / lachesis-rs
  Lachesis BFT consensus for permission-less networks, in Rust
  ☆34Updated 6 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 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
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆33Updated last year
• multiformats / rust-cid
  CID in rust
  ☆96Updated 2 weeks ago
• penumbra-zone / decaf377
  decaf377 is a prime-order group designed for use in SNARKs over BLS12-377
  ☆17Updated 6 months ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆48Updated last week
• ZcashFoundation / ristretto255-dh
  Diffie-Hellman key exchange using the Ristretto255 group, in Rust.
  ☆22Updated 2 years ago