Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models
☆53May 6, 2017Updated 8 years ago
Alternatives and similar repositories for CMPS290S-Winter16
Users that are interested in CMPS290S-Winter16 are comparing it to the libraries listed below
Sorting:
- A graduate seminar on languages and abstractions for distributed programming☆19Jul 16, 2022Updated 3 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- counters and logarithmically bucketed histograms for distributed systems☆85Sep 3, 2017Updated 8 years ago
- ☆12Updated this week
- ☆101Apr 3, 2018Updated 7 years ago
- single node kafka implementation☆13Apr 27, 2018Updated 7 years ago
- Some standalone stream fusion experiments☆13Feb 28, 2016Updated 10 years ago
- An implementation of LDFI☆129Nov 4, 2018Updated 7 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- simplified import of lens-family☆18Jul 12, 2016Updated 9 years ago
- A C++ metaprogramming library☆26Oct 25, 2016Updated 9 years ago
- Haskell library for querying real time stock market data☆14Mar 13, 2017Updated 8 years ago
- Append-only key-value database on a distributed shared-log☆52Aug 14, 2024Updated last year
- A tool that records instantaneous linux load (runnabel thread count) in 1mec intervals and logs it in jHiccup-like format☆20Dec 9, 2016Updated 9 years ago
- Erlang implementation for the FIX Simple Binary Encoding☆15Jul 15, 2020Updated 5 years ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Nov 11, 2015Updated 10 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- ☆20Mar 2, 2017Updated 9 years ago
- A support vector machine implemented in Haskell.☆33Dec 18, 2010Updated 15 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- C implementation of statsd☆21Sep 25, 2019Updated 6 years ago
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 7 years ago
- Skyhook Data Management: programmable storage for databases. This repo contains the Ceph extensions to support data management in storag…☆29Jul 29, 2020Updated 5 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- Elasticsearch Latent Semantic Indexing experimentation☆33Oct 18, 2019Updated 6 years ago
- A database and web app to keep track of all my books☆28Updated this week
- Accompanying Repository for The Verification of a Distributed System Talk☆191Oct 14, 2016Updated 9 years ago
- High performance Multithreaded Async I/O for Java 8☆33Jul 6, 2022Updated 3 years ago
- Machi file store☆121Mar 29, 2016Updated 9 years ago
- An in-memory implementation of redis in Java☆33Sep 22, 2015Updated 10 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Apr 1, 2023Updated 2 years ago
- Notification Hub for openware stack☆15Nov 13, 2019Updated 6 years ago
- A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programmin…☆20Jan 13, 2025Updated last year
- Copy millions of objects in minutes☆12Oct 21, 2019Updated 6 years ago
- Spanish text summarization demo using CoreNLP☆10Sep 13, 2014Updated 11 years ago
- Clone of google-sparsehash☆17Sep 3, 2011Updated 14 years ago
- Benchmark comparing the nats message queue with a REST api server.☆12May 4, 2016Updated 9 years ago
- The meat and potatoes behind farosctl☆13Feb 28, 2023Updated 3 years ago