Michael Whittaker's repositories
distributed-systems-ocaml
Distributed Systems in OCaml
linearizability
Linearizability Visualizer
duckduckgo-ocaml
DuckDuckGo OCaml API
mongo-rust-driver
MongoBD Rust Driver
phantom-matrix
Very Strongly Typed Matrix Addition
arith
OCaml arithmetic interpreter à la TAPL
bin
Miscellaneous Scripts
circuits
Cornell ECE 2100, Fall 2013
clock_snapshot_slides
Presentation on Logical Clocks and the Chandy-Lamport Snaphshot Algorithm
cornell-cs5220-f15.github.io
Course website for Cornell CS 5220
cryptopals
matasano crypto challenges
demo
Demo scripts and codes
derivatives
regular-expression derviatives
docs
The MongoDB Documentation Project Source.
duckduckgo-publisher
Generation of the static files of DuckDuckGo and its microsites.
frenetic-vm
A VM for hacking on Frenetic
hw0
HW0: Who are you?
lecture
Questions and codes associated with pre-class and in-class activities.
libbson
A BSON utility library.
matmul-
Matrix Multiple Framework for HW1
mongo
The Mongo Database
path
Floyd-Warshall shortest paths algorithm
paxosmmc
Paxos Made Moderately Complex
proposals
Final project proposals
semilattice
Semilattices in OCaml
sf
Software Foundations
water
Shallow water simulator for project 2