Popular repositories Loading

1. network-transformations network-transformations Public

   A Framework for building Distributed Consensus Protocols

   Scala 10

2. plv-nus plv-nus Public

   NUS Programming Language & Verification Reading Club

   9

3. NanoPoS NanoPoS Public

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

   Scala 3 2