Alternatives and similar repositories for rfcs

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

• fluencelabs / trust-graph
  ☆16Updated last week
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 5 years ago
• ChainSafe / persistent-merkle-tree
  ☆12Updated 3 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆34Updated 4 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 4 years ago
• ipld / legacy-unixfs-v2
  This repository contains deprecated / legacy Unixfs "V2" discussions.
  ☆21Updated 5 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated last week
• golemfactory / golem-libp2p
  Golem rust-libp2p integration
  ☆12Updated 5 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• perlin-network / lens
  The official network explorer for Wavelet.
  ☆28Updated 2 years ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated last year
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 5 years ago
• fluencelabs / marine-rs-sdk
  Rust backend sdk for the Fluence network
  ☆20Updated 8 months ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• konnov / bymc
  Byzantine model checker
  ☆21Updated 2 years ago
• tendermint / amino_rs
  Rust implementation of Amino
  ☆27Updated 4 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 5 years ago
• informalsystems / vdd
  Verification-Driven Development
  ☆21Updated 4 years ago
• GaloisInc / scuttlebutt
  Multi-party computation utilities toolkit for rust
  ☆16Updated 5 years ago
• libp2p / testlab
  A testlab built with Nomad and Consul to analyze the behavior of p2p networks at scale
  ☆22Updated 5 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• openethereum / pwasm-ethereum
  ☆32Updated 6 years ago
• libp2p / devgrants
  want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.
  ☆41Updated last week
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 4 years ago
• nccgroup / pairing-bls12381
  Pairing operations over the BLS12-381 elliptic curve in Haskell
  ☆14Updated 3 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 3 months ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated 11 months ago