Pinned Repositories
charlotte-public
Public release of the Charlotte gRPC / Java Source Code
coursefinder
A facebook course recommendation app.
gRPC-vs-Thrift
a quick and dirty comparison of gRPC and Thrift in Haskell on large message sizes
hetcons
A Heterogeneous Consensus based on Paxos
pySMT
A script to convert a small subset of SMT and Z3's extensions thereof to QF_BV, and run analysis for Heterogeneous Fast Consensus
isheff's Repositories
isheff/coursefinder
A facebook course recommendation app.
isheff/charlotte-public
Public release of the Charlotte gRPC / Java Source Code
isheff/gRPC-vs-Thrift
a quick and dirty comparison of gRPC and Thrift in Haskell on large message sizes
isheff/hetcons
A Heterogeneous Consensus based on Paxos
isheff/pySMT
A script to convert a small subset of SMT and Z3's extensions thereof to QF_BV, and run analysis for Heterogeneous Fast Consensus
isheff/antidote
A planet scale, highly available, transactional database built on CRDT technology
isheff/art-controllers
Anoma Research Topics Report on Controllers
isheff/collaboration-test
test collaboration invitation effects
isheff/controllers-disc
Controllers Report version for DISC conference
isheff/EasyX509
isheff/emp-tool
isheff/grpc-java
The Java gRPC implementation. HTTP/2 based RPC
isheff/het_paxos_ref
Reference Implementation of Heterogeneous Paxos in Rust
isheff/ObliVMGC
The garbled circuit backend for the ObliVM framework
isheff/thrift
Mirror of Apache Thrift
isheff/try_git