isheff

Isaac Sheff's repositories

A facebook course recommendation app.

Language:Python4 40

Public release of the Charlotte gRPC / Java Source Code

Language:JavaMIT3 20

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

Language:HaskellBSD-3-Clause1 30

A Heterogeneous Consensus based on Paxos

Language:HaskellMIT1 40

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

Language:Python1 20

A planet scale, highly available, transactional database built on CRDT technology

Language:ErlangApache-2.0010

Anoma Research Topics Report on Controllers

000

test collaboration invitation effects

020

Controllers Report version for DISC conference

Language:TeXLPPL-1.3c000

Language:HaskellBSD-3-Clause000

Language:C++NOASSERTION000

The Java gRPC implementation. HTTP/2 based RPC

Language:JavaApache-2.0000

Reference Implementation of Heterogeneous Paxos in Rust

Language:RustMIT000

The garbled circuit backend for the ObliVM framework

000

Mirror of Apache Thrift

Language:C++Apache-2.0020

030