papers-we-love / zurich
Papers We ❤️ Zurich
☆50Updated 5 years ago
Alternatives and similar repositories for zurich:
Users that are interested in zurich are comparing it to the libraries listed below
- Chaotic Life☆45Updated 7 years ago
- Demonstrating the importance of laying out data in memory.☆47Updated 6 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 4 years ago
- Speculative Paxos replication protocol☆132Updated 8 years ago
- Toy container runtime, capable of running docker images☆67Updated 3 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- Interactive visualization framework for Runway models of distributed systems☆189Updated 2 years ago
- ☆37Updated 6 years ago
- ☆30Updated 9 years ago
- Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation☆58Updated 7 years ago
- ☆58Updated 2 years ago
- Fault injection library☆50Updated 8 years ago
- Parses and executes Runway models of distributed systems☆50Updated 2 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆84Updated 8 months ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- A totally proof-of-concept FoundationDB based network block device backend☆116Updated 6 years ago
- Fast tar archiver☆104Updated 3 years ago
- A simple database optimized for returning results by custom scoring functions.☆20Updated 8 years ago
- A collection of research papers categorized by real-world systems that enact them☆209Updated 6 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models