mwhittaker/beejsockets mwhittaker/beejsockets

  • Stars
    star
    1
  • Language
    TeX
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mwhittaker/beejsockets
github

mwhittaker

Reviews

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

Repository Details

Beej Sockets, Thoughts and Notes

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
82
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

occ

Optimistic Concurrency Control
Python
8
star
10

linearizability

Linearizability Visualizer
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

crdts

CRDT Visualization
OCaml
4
star
15

weight

Weight Loss Grapher
Python
4
star
16

mwhittaker.github.io

Github Page
HTML
4
star
17

tla_talk

TLA+ talk
TLA
3
star
18

rust-list

OCaml's List Module in Rust
Rust
2
star
19

senior_perspective

ACSU Senior Perspective Talk
TeX
2
star
20

cs186-fa17-section

CS 186 Fall 2017 Section Material
TeX
2
star
21

five_minute_rule

The Five-Minute Rule
TeX
2
star
22

serial

Serialization Swiss Army Knife
Python
2
star
23

duckduckgo-ocaml

DuckDuckGo OCaml API
OCaml
2
star
24

hashcons

Type-Safe Modular Hash-Consing
OCaml
2
star
25

mongo-rust-driver

MongoBD Rust Driver
Rust
2
star
26

aptfinder

Apartment Finder
Python
2
star
27

vim_acsu

ACSU Vim Workshop
Python
2
star
28

wat

Wat-Provenance
TeX
2
star
29

pinyin_guesser

Tool to learn pinyin
JavaScript
1
star
30

texmf

LaTeX Templates
TeX
1
star
31

cstructs

Command-Structure Sets
Python
1
star
32

prelim_notes

Prelim Notes
HTML
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

evelyn_paxos

Evelyn Paxos
TeX
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

raft

Raft Consensus Algorithm
Vim Script
1
star
43

ocaml-rpc

Jane Street's RPC Library Examples
OCaml
1
star
44

dedalus

Dedalus
Python
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