Michael Whittaker

icon indicating a website link http://mwhittaker.github.io

icon company @google icon location Software engineer at Google working on JAX

Results 7 repositories owned by Michael Whittaker

aries

56
Stars
7
Forks
Watchers

A Javascript ARIES Simulator

verified publisher icon mwhittaker

clocks

33
Stars
6
Forks
Watchers

Time, Clocks, and the Ordering of Events

verified publisher icon mwhittaker

consistency_in_distributed_systems

34
Stars
0
Forks
Watchers

Distributed Systems Consistency Reading Group

verified publisher icon mwhittaker

distributed-systems-ocaml

19
Stars
0
Forks
Watchers

Distributed Systems in OCaml

verified publisher icon mwhittaker

frankenpaxos

100
Stars
9
Forks
Watchers

A collection of state machine replication protocols

verified publisher icon mwhittaker

papers

47
Stars
8
Forks
Watchers

:page_facing_up: Paper Summaries

verified publisher icon mwhittaker

quoracle

79
Stars
5
Forks
Watchers

A Swiss Army knife for read-write quorum systems

verified publisher icon mwhittaker