Discover @mwhittaker Open Source projects

Michael Whittaker (@mwhittaker)

mwhittaker

Stars
505
Global Rank 57,295 (Top 2 %)
Followers 416
Following 28
Registered almost 12 years ago
Most used languages

Python
28.6 %

TeX
24.5 %

OCaml
12.2 %

JavaScript
8.2 %

HTML
6.1 %

Rust
4.1 %

Scala
4.1 %

Vim Script
4.1 %

CSS
2.0 %

C++
2.0 %

Shell
2.0 %

TLA 2.0 %
Location 🇺🇸 United States
Country Total Rank 14,727
Country Ranking

TLA 24

OCaml
167

Scala
270

TeX
561

Vim Script
909

HTML
2,662

Rust
5,772

Python
6,451

JavaScript
8,367

frankenpaxos

A collection of state machine replication protocols

quoracle

A Swiss Army knife for read-write quorum systems

aries

A Javascript ARIES Simulator

papers

📄 Paper Summaries

consistency_in_distributed_systems

Distributed Systems Consistency Reading Group

clocks

Time, Clocks, and the Ordering of Events

distributed-systems-ocaml

Distributed Systems in OCaml

dotfiles

linearizability

Linearizability Visualizer

occ

Optimistic Concurrency Control

cppconcurrency

C++ Concurrency In Action, Thoughts and Notes

bipartisan_paxos

Bipartisan Paxos

enforced_invariant_confluence

Enforced Invariant Confluence

weight

Weight Loss Grapher

crdts

CRDT Visualization

mwhittaker.github.io

tla_talk

raft

Raft Consensus Algorithm

rust-list

OCaml's List Module in Rust

cs186-fa17-section

CS 186 Fall 2017 Section Material

evelyn_paxos

senior_perspective

ACSU Senior Perspective Talk

five_minute_rule

The Five-Minute Rule

serial

Serialization Swiss Army Knife

duckduckgo-ocaml

DuckDuckGo OCaml API

hashcons

Type-Safe Modular Hash-Consing

mongo-rust-driver

MongoBD Rust Driver

aptfinder

Apartment Finder

vim_acsu

ACSU Vim Workshop

wat

pinyin_guesser

Tool to learn pinyin

texmf

LaTeX Templates

cstructs

Command-Structure Sets

vms

💻 Virtual Machines

vim_hackshop

Big Red Hacks Vim Hackshop

tex_examples

deeprl_project

Deep RL Final Project

tapir_benchmarks

TAPIR Benchmarks

frankenpaxos_ai_sys_poster

FrankenPaxos AI-Sys Spring 2019 Poster

meals

A Meal Planning Site

matchmakers

Matchmaker Paxos and Matchmaker MultiPaxos

prelim_notes

ocaml-rpc

Jane Street's RPC Library Examples

dedalus

beejsockets

Beej Sockets, Thoughts and Notes

zeromq_examples

C++ ZeroMQ Examples

rasrotor

craq_bug

A minor bug in CRAQ's garbage collection

phantom-matrix

Very Strongly Typed Matrix Addition