☆101Apr 3, 2018Updated 7 years ago
Alternatives and similar repositories for CMPS232-Fall16
Users that are interested in CMPS232-Fall16 are comparing it to the libraries listed below
Sorting:
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆53May 6, 2017Updated 8 years ago
- A graduate seminar on languages and abstractions for distributed programming☆19Jul 16, 2022Updated 3 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆25Nov 22, 2022Updated 3 years ago
- Append-only key-value database on a distributed shared-log☆52Aug 14, 2024Updated last year
- Distributed File System server implemented using RAFT Algorithm.☆17Jul 12, 2019Updated 6 years ago
- Programming Models and Languages for Distributed Computation☆240Nov 16, 2018Updated 7 years ago
- Backstopper is a framework-agnostic API error handling and (optional) model validation solution for Java 7 and up.☆42Oct 10, 2025Updated 4 months ago
- Lagom eye for the Akka guy☆13Mar 14, 2016Updated 9 years ago
- An implementation of LDFI☆129Nov 4, 2018Updated 7 years ago
- Papers I (+ collaborators) have written or am currently writing☆20Jan 15, 2018Updated 8 years ago
- ☆13Jul 23, 2018Updated 7 years ago
- Eventuate chaos testing utilities☆28Sep 3, 2018Updated 7 years ago
- ☆25Mar 2, 2026Updated last week
- Research papers on: Consensus, CRDTs, Failure detectors, Distributed Scheduling and Network Topology.☆20Aug 10, 2018Updated 7 years ago
- Entry for the Nov 29th Golang Phoenix meetup competition☆16Nov 28, 2017Updated 8 years ago
- A bash wrapper to help you connect to your instances☆15May 20, 2016Updated 9 years ago
- repositories of my talks☆278Jan 11, 2020Updated 6 years ago
- ☆3,420Feb 9, 2021Updated 5 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- counters and logarithmically bucketed histograms for distributed systems☆85Sep 3, 2017Updated 8 years ago
- Paxos Made Moderately Complex☆191Aug 1, 2024Updated last year
- Harry for Apache Cassandra®☆56Aug 23, 2024Updated last year
- This repo contains the reference materials to my RICON 2014 talk☆33Jul 17, 2017Updated 8 years ago
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- A graduate seminar on SMT solving and solver-aided systems☆29Jul 17, 2022Updated 3 years ago
- Test data integrity by comparing against an Oracle running in parallel☆32Updated this week
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆566Oct 27, 2019Updated 6 years ago
- Resources for the transaction SIG☆61Sep 29, 2022Updated 3 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,056May 23, 2017Updated 8 years ago
- My daily used docker images☆26Oct 24, 2025Updated 4 months ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Jan 24, 2014Updated 12 years ago
- Speculative Paxos replication protocol☆134Oct 14, 2016Updated 9 years ago
- Apache Pulsar client for Haskell☆38Oct 23, 2020Updated 5 years ago
- This is my implementation of the Payroll Case Study from the book Agile Software Development by Robert C. Martin (a.k.a. Uncle Bob).☆14Sep 8, 2020Updated 5 years ago
- My Distributed Systems references☆79Jan 24, 2025Updated last year
- Native non-blocking client for ZooKeeper with Finagle☆54May 11, 2015Updated 10 years ago
- High performance Multithreaded Async I/O for Java 8☆33Jul 6, 2022Updated 3 years ago
- Class materials for a distributed systems lecture series☆9,446Mar 18, 2025Updated 11 months ago
- Large-scale event processing with Akka Persistence and Apache Spark☆273Jun 18, 2016Updated 9 years ago