ongardie

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

raft-pseudocode

attempt at summarizing Raft in one page of pseudo-code

cubicle

Manage isolated development environments

ark

runway-model-raft

Raft model for Runway

raft-talk

Slides on Raft that I use for my usual talks.

Comfortaa

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

kwic

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

xrms

Unofficial mirror of abandoned XRMS CRM

CheatSheetSeries

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

configs

configuration files for setting up interactive Linux boxes

hashicorp-raft

Fork of Hashicorp's Golang implementation of the Raft consensus protocol

raft-talk-archive

Snapshots of prior raft-talk talks

RAMCloud

Fork of official RAMCloud repo

website-gen

atomix.github.io

Atomix Website

beam

A distributed knowledge graph store

blog

cap-std

Capability-oriented version of the Rust standard library

contributor-book

Nushell contributor book

iqlusioninc-crates

[fork] A collection of open source Rust crates from iqlusion

microCOVID

Estimating the COVID risk of ordinary activities

node-leveldown

Pure C++ Node.js LevelDB binding serving as the back-end to LevelUP

notion-doc

Documentation for the 'notion' project

publish-extensions

Scripts for publishing VS Code extensions to open-vsx.org

restic

Fast, secure, efficient backup program

splr

A modern CDCL SAT solver in Rust

zentrack