heidihoward/systems-research heidihoward/systems-research

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
heidihoward/systems-research
github

heidihoward

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Introduction to Computer Systems Research

More Repositories

1

distributed-consensus-reading-list

A list of papers about distributed consensus.
2,293
star
2

ocaml-raft

Implementation of Raft consensus algorithm
OCaml
112
star
3

ios

Reliable distributed agreement service for the cloud
Go
47
star
4

leaderelection-tlaplus

An example TLA+ specification for a simple "raft style" leader election protocol
TLA
9
star
5

ocaml-dns-examples

introduction to ocaml-dns for MirageOS
OCaml
5
star
6

ocaml-raft-data

Data collected from the ocaml-raft simulator
Python
5
star
7

etcd_eval

Simple client for benchmarking etcd v3
Go
3
star
8

rwe-dns-server

OCaml
1
star
9

runway-model-ios

Runway model for the Ios consensus algroithm
JavaScript
1
star