mwhittaker/clocks mwhittaker/clocks

  • Stars
    star
    36
  • Rank 710,403 (Top 15 %)
  • Language
    Python
  • Created over 9 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mwhittaker/clocks
github

mwhittaker

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Time, Clocks, and the Ordering of Events

More Repositories

1

frankenpaxos

A collection of state machine replication protocols
Scala
113
star
2

quoracle

A Swiss Army knife for read-write quorum systems
Python
82
star
3

aries

A Javascript ARIES Simulator
JavaScript
59
star
4

papers

📄 Paper Summaries
HTML
52
star
5

consistency_in_distributed_systems

Distributed Systems Consistency Reading Group
JavaScript
39
star
6

distributed-systems-ocaml

Distributed Systems in OCaml
OCaml
20
star
7

dotfiles

.*
Vim Script
9
star
8

occ

Optimistic Concurrency Control
Python
8
star
9

linearizability

Linearizability Visualizer
Python
8
star
10

cppconcurrency

C++ Concurrency In Action, Thoughts and Notes
TeX
8
star
11

bipartisan_paxos

Bipartisan Paxos
TeX
7
star
12

enforced_invariant_confluence

Enforced Invariant Confluence
Python
5
star
13

crdts

CRDT Visualization
OCaml
4
star
14

weight

Weight Loss Grapher
Python
4
star
15

mwhittaker.github.io

Github Page
HTML
4
star
16

tla_talk

TLA+ talk
TLA
3
star
17

rust-list

OCaml's List Module in Rust
Rust
2
star
18

senior_perspective

ACSU Senior Perspective Talk
TeX
2
star
19

cs186-fa17-section

CS 186 Fall 2017 Section Material
TeX
2
star
20

five_minute_rule

The Five-Minute Rule
TeX
2
star
21

serial

Serialization Swiss Army Knife
Python
2
star
22

duckduckgo-ocaml

DuckDuckGo OCaml API
OCaml
2
star
23

hashcons

Type-Safe Modular Hash-Consing
OCaml
2
star
24

mongo-rust-driver

MongoBD Rust Driver
Rust
2
star
25

aptfinder

Apartment Finder
Python
2
star
26

vim_acsu

ACSU Vim Workshop
Python
2
star
27

wat

Wat-Provenance
TeX
2
star
28

pinyin_guesser

Tool to learn pinyin
JavaScript
1
star
29

texmf

LaTeX Templates
TeX
1
star
30

cstructs

Command-Structure Sets
Python
1
star
31

prelim_notes

Prelim Notes
HTML
1
star
32

vms

💻 Virtual Machines
Shell
1
star
33

vim_hackshop

Big Red Hacks Vim Hackshop
Python
1
star
34

tex_examples

LaTeX Examples
TeX
1
star
35

deeprl_project

Deep RL Final Project
Python
1
star
36

evelyn_paxos

Evelyn Paxos
TeX
1
star
37

tapir_benchmarks

TAPIR Benchmarks
Python
1
star
38

frankenpaxos_ai_sys_poster

FrankenPaxos AI-Sys Spring 2019 Poster
TeX
1
star
39

meals

A Meal Planning Site
JavaScript
1
star
40

matchmakers

Matchmaker Paxos and Matchmaker MultiPaxos
Scala
1
star
41

raft

Raft Consensus Algorithm
Vim Script
1
star
42

ocaml-rpc

Jane Street's RPC Library Examples
OCaml
1
star
43

dedalus

Dedalus
Python
1
star
44

beejsockets

Beej Sockets, Thoughts and Notes
TeX
1
star
45

zeromq_examples

C++ ZeroMQ Examples
C++
1
star
46

rasrotor

Rasrotor.
CSS
1
star
47

craq_bug

A minor bug in CRAQ's garbage collection
TeX
1
star
48

phantom-matrix

Very Strongly Typed Matrix Addition
OCaml
1
star