Alternatives and similar repositories for rfcs

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

• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• libp2p / devgrants
  want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.
  ☆41Updated 9 months ago
• mcoblenz / Obsidian
  Obsidian language development
  ☆79Updated 2 months ago
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 5 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆85Updated this week
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• IDNI / TML
  Tau Meta-Language
  ☆123Updated 2 years ago
• openethereum / pwasm-ethereum
  ☆32Updated 7 years ago
• nccgroup / pairing-bls12381
  Pairing operations over the BLS12-381 elliptic curve in Haskell
  ☆14Updated 3 years ago
• DistributedSystemsWiki / wiki
  ☆42Updated 5 years ago
• Chia-Network / vdf-competition
  ☆25Updated 3 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆37Updated 7 years ago
• informalsystems / vdd
  Verification-Driven Development
  ☆21Updated 4 years ago
• libp2p / research-dht
  Moved discussion notes to https://github.com/libp2p/notes
  ☆21Updated 5 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆38Updated 2 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆33Updated 5 years ago
• spacemeshos / svm
  SVM - Spacemesh Virtual Machine
  ☆84Updated 3 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• golemfactory / gMorph
  Fully Homomorphic Encryption library
  ☆25Updated 5 years ago
• vacp2p / rfc
  Modular p2p messaging stack, with a focus on secure messaging.
  ☆115Updated last year
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Updated 5 years ago
• ZcashFoundation / parity-zcash
  A consensus-compatible Zcash node client written in Rust. 🦓
  ☆81Updated 3 years ago
• althea-net / rita
  Rita is a routing and billing protocol that allows devices to buy and sell bandwidth
  ☆96Updated last month
• OrfeasLitos / TrustIsRisk
  Decentralized monetary trust network
  ☆26Updated last year
• paritytech / rhododendron
  Asynchronously safe BFT consensus, implementation in Rust
  ☆35Updated 6 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆117Updated 3 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 6 years ago