• Stars
    star
    2
  • Language
    Rust
  • Created almost 10 years ago
  • Updated almost 10 years ago

Reviews

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

Repository Details

OCaml's List Module in Rust

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

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