Explore projects

This repo includes all of the TAPIR and IR code as well as implementations of two-phase commit, strict two-phase locking, optimistic concurrency control and Viewstamped Replication for building a variety of replicated, transactional key-value stores.