Pinned Loading

1. DistCompiler/pgo DistCompiler/pgo Public

   PGo is a source to source compiler from Modular PlusCal specs into Go programs.

   TLA 172 13

2. DistributedClocks/GoVector DistributedClocks/GoVector Public

   Vector clock logging library for Go

   Go 181 35

3. DistributedML/Biscotti DistributedML/Biscotti Public

   A ledger for private and secure peer to peer machine learning

   Go 101 27

4. ModelInference/synoptic ModelInference/synoptic Public

   Inferring models of systems from observations of their behavior

   Java 81 25

5. DistributedClocks/shiviz DistributedClocks/shiviz Public

   A tool to visualize distributed system logs

   JavaScript 71 12

6. DistributedML/FoolsGold DistributedML/FoolsGold Public

   A sybil-resilient distributed learning protocol.

   Python 94 23