ongardie
Co-author of @raft. Previously @juicebox-systems, @homex, @eBay, @salesforce, @PlatformLab at Stanford.
selfSeattle
Pinned Repositories
akutan
A distributed knowledge graph store
logcabin
LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.
cubicle
Manage isolated development environments
diskbenchmark
Benchmarking utilities for measuring the latencies of disks (mostly interesting for SSDs).
dissertation
Sources for my PhD dissertation on the Raft consensus algorithm
raft-pseudocode
attempt at summarizing Raft in one page of pseudo-code
raft.tla
TLA+ specification for the Raft consensus algorithm
raftscope
super hacky visualization of Raft
raft.github.io
website at https://raft.github.io
runway-browser
Interactive visualization framework for Runway models of distributed systems
ongardie's Repositories
ongardie/dissertation
Sources for my PhD dissertation on the Raft consensus algorithm
ongardie/raftscope
super hacky visualization of Raft
ongardie/raft.tla
TLA+ specification for the Raft consensus algorithm
ongardie/raft-pseudocode
attempt at summarizing Raft in one page of pseudo-code
ongardie/cubicle
Manage isolated development environments
ongardie/ark
ongardie/runway-model-raft
Raft model for Runway
ongardie/raft-talk
Slides on Raft that I use for my usual talks.
ongardie/Comfortaa
The Comfortaa font by Johan Aakerlund. Includes the vintage version 1 as well as the current version 2 of the font.
ongardie/kwic
Implementations of KWIC index decompositions from "On the criteria to be used in decomposing systems into modules"
ongardie/xrms
Unofficial mirror of abandoned XRMS CRM
ongardie/CheatSheetSeries
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
ongardie/configs
configuration files for setting up interactive Linux boxes
ongardie/hashicorp-raft
Fork of Hashicorp's Golang implementation of the Raft consensus protocol
ongardie/raft-talk-archive
Snapshots of prior raft-talk talks
ongardie/RAMCloud
Fork of official RAMCloud repo
ongardie/website-gen
ongardie/atomix.github.io
Atomix Website
ongardie/beam
A distributed knowledge graph store
ongardie/blog
ongardie/cap-std
Capability-oriented version of the Rust standard library
ongardie/contributor-book
Nushell contributor book
ongardie/iqlusioninc-crates
[fork] A collection of open source Rust crates from iqlusion
ongardie/microCOVID
Estimating the COVID risk of ordinary activities
ongardie/node-leveldown
Pure C++ Node.js LevelDB binding serving as the back-end to LevelUP
ongardie/notion-doc
Documentation for the 'notion' project
ongardie/publish-extensions
Scripts for publishing VS Code extensions to open-vsx.org
ongardie/restic
Fast, secure, efficient backup program
ongardie/splr
A modern CDCL SAT solver in Rust
ongardie/zentrack