Popular repositories Loading

1. coursefinder coursefinder Public

   A facebook course recommendation app.

   Python 4

2. charlotte-public charlotte-public Public

   Public release of the Charlotte gRPC / Java Source Code

   Java 3 2

3. pySMT pySMT Public

   A script to convert a small subset of SMT and Z3's extensions thereof to QF_BV, and run analysis for Heterogeneous Fast Consensus

   Python 1

4. hetcons hetcons Public

   A Heterogeneous Consensus based on Paxos

   Haskell 1

5. gRPC-vs-Thrift gRPC-vs-Thrift Public

   a quick and dirty comparison of gRPC and Thrift in Haskell on large message sizes

   Haskell 1

6. try_git try_git Public