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:
- Demonstrating the importance of laying out data in memory.☆47Updated 7 years ago
- Chaotic Life☆44Updated 7 years ago
- ☆37Updated 6 years ago
- A totally proof-of-concept FoundationDB based network block device backend☆115Updated 7 years ago
- Toy container runtime, capable of running docker images☆67Updated 3 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 5 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- ☆31Updated 9 years ago
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Updated 7 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
- Speculative Paxos replication protocol☆130Updated 8 years ago
- An example of PEG usage☆55Updated 8 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- Implementation of popular consensus protocols☆21Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- echo prints the first positional argument to stdout☆59Updated 8 years ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation☆58Updated 7 years ago
- invesdwin-context modules that provide persistence features☆43Updated last month
- (getting to be a) hard to kill scalable linearizabe store☆79Updated 9 years ago
- Fast tar archiver☆105Updated 3 years ago
- ☆27Updated 3 years ago
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated last year
- Generalized Diffie-Hellman key exchange Java library built on top of the Vert.x framework☆32Updated 5 years ago
- Examples of common systems programming optimizations☆51Updated 3 years ago
- Data structure server.☆181Updated 8 years ago
- A Raytracer written in the Rust Language☆16Updated 8 years ago
- Behrooz File System (BFS)☆54Updated 9 years ago
- Fault injection library☆51Updated 8 years ago