• Stars
    star
    1
  • Language
    TeX
  • Created over 4 years ago
  • Updated over 4 years ago

Reviews

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

Repository Details

A minor bug in CRAQ's garbage collection

More Repositories

1

frankenpaxos

A collection of state machine replication protocols
Scala
113
star
2

quoracle

A Swiss Army knife for read-write quorum systems
Python
84
star
3

aries

A Javascript ARIES Simulator
JavaScript
59
star
4

papers

📄 Paper Summaries
HTML
52
star
5

consistency_in_distributed_systems

Distributed Systems Consistency Reading Group
JavaScript
39
star
6

clocks

Time, Clocks, and the Ordering of Events
Python
36
star
7

distributed-systems-ocaml

Distributed Systems in OCaml
OCaml
20
star
8

dotfiles

.*
Vim Script
9
star
9

linearizability

Linearizability Visualizer
Python
8
star
10

occ

Optimistic Concurrency Control
Python
8
star
11

cppconcurrency

C++ Concurrency In Action, Thoughts and Notes
TeX
8
star
12

bipartisan_paxos

Bipartisan Paxos
TeX
7
star
13

enforced_invariant_confluence

Enforced Invariant Confluence
Python
5
star
14

weight

Weight Loss Grapher
Python
4
star
15

crdts

CRDT Visualization
OCaml
4
star
16

mwhittaker.github.io

Github Page
HTML
4
star
17

tla_talk

TLA+ talk
TLA
3
star
18

raft

Raft Consensus Algorithm
Vim Script
2
star
19

rust-list

OCaml's List Module in Rust
Rust
2
star
20

cs186-fa17-section

CS 186 Fall 2017 Section Material
TeX
2
star
21

evelyn_paxos

Evelyn Paxos
TeX
2
star
22

senior_perspective

ACSU Senior Perspective Talk
TeX
2
star
23

five_minute_rule

The Five-Minute Rule
TeX
2
star
24

serial

Serialization Swiss Army Knife
Python
2
star
25

duckduckgo-ocaml

DuckDuckGo OCaml API
OCaml
2
star
26

hashcons

Type-Safe Modular Hash-Consing
OCaml
2
star
27

mongo-rust-driver

MongoBD Rust Driver
Rust
2
star
28

aptfinder

Apartment Finder
Python
2
star
29

vim_acsu

ACSU Vim Workshop
Python
2
star
30

wat

Wat-Provenance
TeX
2
star
31

pinyin_guesser

Tool to learn pinyin
JavaScript
1
star
32

texmf

LaTeX Templates
TeX
1
star
33

cstructs

Command-Structure Sets
Python
1
star
34

vms

💻 Virtual Machines
Shell
1
star
35

vim_hackshop

Big Red Hacks Vim Hackshop
Python
1
star
36

tex_examples

LaTeX Examples
TeX
1
star
37

deeprl_project

Deep RL Final Project
Python
1
star
38

tapir_benchmarks

TAPIR Benchmarks
Python
1
star
39

frankenpaxos_ai_sys_poster

FrankenPaxos AI-Sys Spring 2019 Poster
TeX
1
star
40

meals

A Meal Planning Site
JavaScript
1
star
41

matchmakers

Matchmaker Paxos and Matchmaker MultiPaxos
Scala
1
star
42

prelim_notes

Prelim Notes
HTML
1
star
43

ocaml-rpc

Jane Street's RPC Library Examples
OCaml
1
star
44

dedalus

Dedalus
Python
1
star
45

beejsockets

Beej Sockets, Thoughts and Notes
TeX
1
star
46

zeromq_examples

C++ ZeroMQ Examples
C++
1
star
47

rasrotor

Rasrotor.
CSS
1
star
48

phantom-matrix

Very Strongly Typed Matrix Addition
OCaml
1
star