Alternatives and similar repositories for oversim:

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

• anthdm / avalanche
  A educational / research implementation of the Avalanche consensus algorithm written in Rust
  ☆38Updated 6 years ago
• pontem-network / move-book
  Book about Libra's Move language
  ☆13Updated 3 years ago
• bwasti / avalanche_playground
  Structural (non-cryptographic) Python implementation of the Avalanche algorithm by TeamRocket
  ☆15Updated 6 years ago
• helena-project / beetle
  A BLE/GATT based data and control plane for the Internet of Things.
  ☆15Updated 7 years ago
• rdancer / fhe
  Fully Homomorphic Encryption
  ☆28Updated last year
• Unitychain / zkvote-node
  Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network
  ☆15Updated 4 years ago
• ucbrise / MerkleSquare
  A Go library for MerkleSquare: A Low-Latency Transparency Log System
  ☆21Updated 3 years ago
• informalsystems / vdd
  Verification-Driven Development
  ☆21Updated 3 years ago
• stresch / pingpong
  This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…
  ☆17Updated 7 years ago
• cryptimeleon / upb.crypto.clarc
  Cryptographic Library for Anonymous Reputation and Credentials
  ☆12Updated 3 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆19Updated 3 months ago
• arkworks-rs / gm17
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆10Updated 2 months ago
• mahdiz / mpclib
  MpcLib - A Multi-Party Computation Library
  ☆16Updated 8 years ago
• davebryson / bftdb
  Tendermint + Sqlite3 = BFT Database Replication
  ☆38Updated 6 years ago
• AwesomeHuang / Zokrates_Demo
  A demo using Zokrates to build an encrypted transaction on Ethereum/Qtum based on zkSNARKs algorithm
  ☆15Updated 5 years ago
• tendermint / coding
  ☆14Updated 5 years ago
• heikoheiko / p2p-network-simulator
  simulation of a p2p network
  ☆36Updated 7 years ago
• jedisct1 / charm.js
  Charm implementation in JavaScript (TypeScript)
  ☆14Updated last year
• Fantom-foundation / libconsensus-dag
  Novel DAG consensus
  ☆10Updated 5 years ago
• initc3 / HoneyBadgerBFT
  ☆20Updated 6 years ago
• FabioTacke / PubliclyVerifiableSecretSharing
  An implementation of Publicly Verifiably Secret Sharing (PVSS) in Swift.
  ☆12Updated 7 years ago
• trachten / cpisync
  A library for synchronizing remote data with minimum communication.
  ☆26Updated last year
• hyperledger-archives / sawtooth-raft
  ☆26Updated 2 years ago
• cn-uofbasel / ccn-lite
  CCN-lite, a lightweight implementation of the CCNx protocol and its variations
  ☆74Updated 11 months ago
• tendermint / amino_rs
  Rust implementation of Amino
  ☆27Updated 4 years ago
• IAIK / pairings_in_c
  C library for bilinear pairings
  ☆26Updated 7 years ago
• dedis / onet
  Overlay Network for distributed protocols
  ☆51Updated last year
• Apress / practical-ocaml
  Source code for 'Practical OCaml' by Joshua B. Smith
  ☆14Updated 7 years ago
• visa / dise
  ☆21Updated 4 years ago
• cpurta / p2p-grpc
  Simple p2p network using gRPC
  ☆9Updated 6 years ago