cmeiklejohn / cmeiklejohn.github.ioLinks
My Blog.
☆56Updated last year
Alternatives and similar repositories for cmeiklejohn.github.io
Users that are interested in cmeiklejohn.github.io are comparing it to the libraries listed below
Sorting:
- Programming Models and Languages for Distributed Computation☆240Updated 7 years ago
- A collection of research papers categorized by real-world systems that enact them☆214Updated 7 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆53Updated 8 years ago
- ☆101Updated 7 years ago
- Collection of various research papers I find interesting☆85Updated 10 years ago
- ☆64Updated 9 years ago
- A collection of papers that was referenced at the end of Jonas Bonér's The Road to Akka Cluster and Beyond ... talk.☆277Updated 10 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 5 years ago
- extprot: extensible binary protocols for cross-language communication and long-term serialization☆212Updated 2 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 7 years ago
- Kompics - A message-passing component model for building distributed systems☆66Updated 3 years ago
- Machi file store☆121Updated 9 years ago
- Papers We ❤️ Zurich☆50Updated 3 weeks ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 9 years ago
- Tool for uploading unikernels into EC2☆77Updated 7 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆191Updated 9 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- An implementation of LDFI☆128Updated 7 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Distributed system simulator and distributed algorithm scratchpad☆21Updated 2 years ago
- A dead simple networked key/value store☆115Updated 10 years ago
- Papers We ❤️ Remote☆27Updated 9 years ago
- A Scala DSL for the Kompics framework☆20Updated 4 years ago
- Scala implementation of the Ctrie datastructure.☆176Updated 4 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆39Updated 6 years ago
- an example airship app☆14Updated 9 years ago
- A supercompiler pass for Erlang☆93Updated 5 years ago