Popular repositories Loading

1. paxos_proof paxos_proof Public

   Forked from TonyZhangND/paxos_proof

   Specification and proof of the Paxos protocol in Dafny

   Dafny

2. etcd etcd Public

   Forked from etcd-io/etcd

   Distributed reliable key-value store for the most critical data of a distributed system

   Go

3. EECS442-SRCNN EECS442-SRCNN Public

   Forked from yjn870/SRCNN-pytorch

   PyTorch implementation of Image Super-Resolution Using Deep Convolutional Networks (ECCV 2014)

   Python

4. mt3 mt3 Public

   Forked from magenta/mt3

   MT3: Multi-Task Multitrack Music Transcription

   Python