There are no reviews yet. Be the first to send feedback to the community and the maintainers!
frankenpaxos
A collection of state machine replication protocolsquoracle
A Swiss Army knife for read-write quorum systemsaries
A Javascript ARIES Simulatorpapers
📄 Paper Summariesconsistency_in_distributed_systems
Distributed Systems Consistency Reading Groupclocks
Time, Clocks, and the Ordering of Eventsdistributed-systems-ocaml
Distributed Systems in OCamldotfiles
.*linearizability
Linearizability Visualizerocc
Optimistic Concurrency Controlcppconcurrency
C++ Concurrency In Action, Thoughts and Notesbipartisan_paxos
Bipartisan Paxosenforced_invariant_confluence
Enforced Invariant Confluenceweight
Weight Loss Graphercrdts
CRDT Visualizationmwhittaker.github.io
Github Pagetla_talk
TLA+ talkraft
Raft Consensus Algorithmrust-list
OCaml's List Module in Rustcs186-fa17-section
CS 186 Fall 2017 Section Materialevelyn_paxos
Evelyn Paxossenior_perspective
ACSU Senior Perspective Talkfive_minute_rule
The Five-Minute Ruleserial
Serialization Swiss Army Knifeduckduckgo-ocaml
DuckDuckGo OCaml APIhashcons
Type-Safe Modular Hash-Consingmongo-rust-driver
MongoBD Rust Driveraptfinder
Apartment Findervim_acsu
ACSU Vim Workshopwat
Wat-Provenancetexmf
LaTeX Templatescstructs
Command-Structure Setsvms
💻 Virtual Machinesvim_hackshop
Big Red Hacks Vim Hackshoptex_examples
LaTeX Examplesdeeprl_project
Deep RL Final Projecttapir_benchmarks
TAPIR Benchmarksfrankenpaxos_ai_sys_poster
FrankenPaxos AI-Sys Spring 2019 Postermeals
A Meal Planning Sitematchmakers
Matchmaker Paxos and Matchmaker MultiPaxosprelim_notes
Prelim Notesocaml-rpc
Jane Street's RPC Library Examplesdedalus
Dedalusbeejsockets
Beej Sockets, Thoughts and Noteszeromq_examples
C++ ZeroMQ Examplesrasrotor
Rasrotor.craq_bug
A minor bug in CRAQ's garbage collectionphantom-matrix
Very Strongly Typed Matrix AdditionLove Open Source and this site? Check out how you can help us