Alternatives and similar repositories for rfcs:

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

• fluencelabs / trust-graph
  ☆15Updated 3 weeks ago
• fluencelabs / registry
  Register and discover services via Aqua
  ☆19Updated 2 weeks ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 5 years ago
• ChainSafe / persistent-merkle-tree
  ☆12Updated 2 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• libp2p / devgrants
  want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.
  ☆40Updated last year
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆34Updated 4 years ago
• golemfactory / gMorph
  Fully Homomorphic Encryption library
  ☆25Updated 4 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
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 4 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• interledger / settlement-engines
  Interledger Settlement Engines written in Rust
  ☆12Updated 4 years ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated last year
• openethereum / pwasm-ethereum
  ☆32Updated 6 years ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆26Updated 2 years ago
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 4 years ago
• golemfactory / golem-libp2p
  Golem rust-libp2p integration
  ☆12Updated 5 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆79Updated 2 weeks ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆35Updated last year
• openethereum / pwasm-repo-contract
  Sample repo contract written in Rust and compiled to WebAssembly
  ☆14Updated 6 years ago
• tendermint / merkleeyes
  DEPRECATED: Merkle-ized data store
  ☆46Updated 5 years ago
• fluencelabs / aqua-ipfs
  IPFS API bindings for Aqua scripts
  ☆19Updated 2 months ago
• informalsystems / vdd
  Verification-Driven Development
  ☆21Updated 3 years ago
• novifinancial / rust-curve25519-fiat
  Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
  ☆12Updated 5 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• libp2p / testlab
  A testlab built with Nomad and Consul to analyze the behavior of p2p networks at scale
  ☆22Updated 5 years ago
• ipld / legacy-unixfs-v2
  This repository contains deprecated / legacy Unixfs "V2" discussions.
  ☆21Updated 4 years ago
• fluencelabs / marine-rs-sdk
  Rust backend sdk for the Fluence network
  ☆20Updated 6 months ago