Repositories list

• plv-nus

  Public
  NUS Programming Language & Verification Reading Club

  MIT License

  •0•9•0•0•Updated Sep 4, 2020Sep 4, 2020

• probchain

  Public
  Probabilistic reasoning about blockchain protocols

  Coq

  •

  GNU General Public License v3.0

  •0•5•0•0•Updated Jan 4, 2019Jan 4, 2019

• network-transformations

  Public
  A Framework for building Distributed Consensus Protocols

  distributed-systemsconsensuspaxos+ 1multi-paxos

  Scala

  •0•10•0•0•Updated Oct 13, 2017Oct 13, 2017

• NanoPoS

  Public
  A toy implementation of a Proof-of-Stake consensus protocol in Scala

  akkablockchainconsensus+ 2posproof-of-stake

  Scala

  •

  MIT License

  •2•3•0•0•Updated Aug 30, 2017Aug 30, 2017