Rust libraries and tools to interact with the Framework Computer systems

An interface for the Juicebox Protocol which provides distributed storage and recovery of secrets using simple PIN authentication.

A full featured, fast Command Line Argument Parser for Rust

A Rust library to support testing of code that uses Log crate.

Beancount: Double-Entry Accounting from Text Files.

A distributed knowledge graph store

**No Longer Maintained** Official RAMCloud repo

Monitor: synchronization construct in Rust

A framework for formally verifying distributed systems implementations in Coq

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Yesquel: scalable SQL storage for Web apps

Our extravaganza in building cool systems that involve multiple computational devices.

iNexus, coordinate large scale services

Language-Natural Persistence Layer for Java

[Incomplete] A Raft implementation in Rust

Go client for https://github.com/logcabin/logcabin

A project to test Raft protocol implementations.

Vim plugin for Ledger / Hledger

A free & open modern, fast email client with user-friendly encryption and privacy features

Simulating shitty network connections so you can build better systems.

UNMAINTAINED: A Go implementation of the Raft distributed consensus protocol.

Many-armed network simulator

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 cor…

A web-based repository for simple reports

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

Changes to google test for RAMCloud

SCPD hacks

SCPD hacks