Diego Ongaro

dissertation. Sources for my PhD dissertation on the Raft consensus algorithm

raftscope. super hacky visualization of Raft

raft.tla. TLA+ specification for the Raft consensus algorithm

diskbenchmark. Benchmarking utilities for measuring the latencies of disks (mostly interesting for SSDs).

cubicle. Manage isolated development environments

raft-pseudocode. attempt at summarizing Raft in one page of pseudo-code

ark. Go

availsim. Simulator for Raft's leader election

runway-model-raft. Raft model for Runway

raft-talk. Slides on Raft that I use for my usual talks.

tub98. C++98 version of RAMCloud's Tub.h

kwic. Implementations of KWIC index decompositions from "On the criteria to be used in decomposing systems into modules"

raftd. A reference implementation for using the go-raft library for distributed consensus.

Comfortaa. The Comfortaa font by Johan Aakerlund. Includes the vintage version 1 as well as the current version 2 of the font.

configs. configuration files for setting up interactive Linux boxes

hashicorp-raft. Fork of Hashicorp's Golang implementation of the Raft consensus protocol

xrms. Unofficial mirror of abandoned XRMS CRM

dumpstr. A web-based repository for simple reports

gtest. Changes to google test for RAMCloud

CheatSheetSeries. The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

scpd. SCPD hacks

website-gen. Python

raft-talk-archive. Snapshots of prior raft-talk talks

RAMCloud. Fork of official RAMCloud repo

R-ggplot-intro. Intro lecture for plotting with R and ggplot2

dodgems. TI-83+ snake game