• Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    OCaml
  • Created almost 10 years ago
  • Updated over 9 years ago

Reviews

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

Repository Details

Distributed Systems in OCaml

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

dotfiles

.*
Vim Script
9
star
8

linearizability

Linearizability Visualizer
Python
8
star
9

occ

Optimistic Concurrency Control
Python
8
star
10

cppconcurrency

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

bipartisan_paxos

Bipartisan Paxos
TeX
7
star
12

enforced_invariant_confluence

Enforced Invariant Confluence
Python
5
star
13

weight

Weight Loss Grapher
Python
4
star
14

crdts

CRDT Visualization
OCaml
4
star
15

mwhittaker.github.io

Github Page
HTML
4
star
16

tla_talk

TLA+ talk
TLA
3
star
17

raft

Raft Consensus Algorithm
Vim Script
2
star
18

rust-list

OCaml's List Module in Rust
Rust
2
star
19

cs186-fa17-section

CS 186 Fall 2017 Section Material
TeX
2
star
20

evelyn_paxos

Evelyn Paxos
TeX
2
star
21

senior_perspective

ACSU Senior Perspective Talk
TeX
2
star
22

five_minute_rule

The Five-Minute Rule
TeX
2
star
23

serial

Serialization Swiss Army Knife
Python
2
star
24

duckduckgo-ocaml

DuckDuckGo OCaml API
OCaml
2
star
25

hashcons

Type-Safe Modular Hash-Consing
OCaml
2
star
26

mongo-rust-driver

MongoBD Rust Driver
Rust
2
star
27

aptfinder

Apartment Finder
Python
2
star
28

vim_acsu

ACSU Vim Workshop
Python
2
star
29

wat

Wat-Provenance
TeX
2
star
30

pinyin_guesser

Tool to learn pinyin
JavaScript
1
star
31

texmf

LaTeX Templates
TeX
1
star
32

cstructs

Command-Structure Sets
Python
1
star
33

vms

πŸ’» Virtual Machines
Shell
1
star
34

vim_hackshop

Big Red Hacks Vim Hackshop
Python
1
star
35

tex_examples

LaTeX Examples
TeX
1
star
36

deeprl_project

Deep RL Final Project
Python
1
star
37

tapir_benchmarks

TAPIR Benchmarks
Python
1
star
38

frankenpaxos_ai_sys_poster

FrankenPaxos AI-Sys Spring 2019 Poster
TeX
1
star
39

meals

A Meal Planning Site
JavaScript
1
star
40

matchmakers

Matchmaker Paxos and Matchmaker MultiPaxos
Scala
1
star
41

prelim_notes

Prelim Notes
HTML
1
star
42

ocaml-rpc

Jane Street's RPC Library Examples
OCaml
1
star
43

dedalus

Dedalus
Python
1
star
44

beejsockets

Beej Sockets, Thoughts and Notes
TeX
1
star
45

zeromq_examples

C++ ZeroMQ Examples
C++
1
star
46

rasrotor

Rasrotor.
CSS
1
star
47

craq_bug

A minor bug in CRAQ's garbage collection
TeX
1
star
48

phantom-matrix

Very Strongly Typed Matrix Addition
OCaml
1
star