papers-we-love / zurichLinks
Papers We ❤️ Zurich
☆49Updated 6 years ago
Alternatives and similar repositories for zurich
Users that are interested in zurich are comparing it to the libraries listed below
Sorting:
- ☆37Updated 6 years ago
- Chaotic Life☆44Updated 7 years ago
- Demonstrating the importance of laying out data in memory.☆47Updated 7 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- ☆31Updated 9 years ago
- Speculative Paxos replication protocol☆131Updated 8 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 5 years ago
- A totally proof-of-concept FoundationDB based network block device backend☆115Updated 7 years ago
- BloomFilter in python☆101Updated 8 years ago
- Toy container runtime, capable of running docker images☆67Updated 3 years ago
- At Twitter I often asked a simple question, render a tweet given the text and an unordered list of its entities☆42Updated 3 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.☆92Updated 8 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Updated 3 years ago
- Implementation of popular consensus protocols☆21Updated 4 years ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- ☆97Updated 7 years ago
- Kivaloo is a collection of utilities which together form a data store associating keys of up to 255 bytes with values of up to 255 bytes.☆203Updated 5 months ago
- Examples of common systems programming optimizations☆51Updated 4 years ago
- Optimal Quantile Approximation in Streams☆162Updated 2 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- An example of PEG usage☆55Updated 8 years ago
- invesdwin-context modules that provide persistence features☆44Updated this week
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Hintjens' book production tools☆46Updated 8 years ago
- A collection of research papers categorized by real-world systems that enact them☆213Updated 7 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Blockchain fabric code☆41Updated 9 years ago
- ☆58Updated 3 years ago
- echo prints the first positional argument to stdout☆59Updated 8 years ago