Alternatives and similar repositories for zurich:

Users that are interested in zurich are comparing it to the libraries listed below

• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆44Updated 7 years ago
• rcoh / treelayout
  Demonstrating the importance of laying out data in memory.
  ☆47Updated 7 years ago
• kragniz / omochabako
  Toy container runtime, capable of running docker images
  ☆67Updated 3 years ago
• seiflotfy / pcsa
  ☆37Updated 6 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆130Updated 8 years ago
• afiodorov / radixmmap
  Mmap radix sort file by a fixed length prefix of each line
  ☆52Updated 4 years ago
• postgrespro / pg_tsdtm
  ☆31Updated 9 years ago
• the8472 / fastar
  Fast tar archiver
  ☆105Updated 3 years ago
• dlthomas / sql-viewer
  GHCJS front-end for queryparser
  ☆80Updated 6 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆51Updated 3 years ago
• kelseyhightower / echo
  echo prints the first positional argument to stdout
  ☆59Updated 8 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 years ago
• BenJoyenConseil / rmi
  A learned index structure
  ☆53Updated 4 years ago
• xmonkee / rusttracer
  A Raytracer written in the Rust Language
  ☆16Updated 8 years ago
• bcbrock / obc-peer
  Blockchain fabric code
  ☆41Updated 9 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆21Updated 4 years ago
• mirage / mirage-decks
  These are the MirageOS slide decks, written as a self-hosting unikernel
  ☆13Updated 7 years ago
• wildarch / jepsen.rqlite
  ☆58Updated 3 years ago
• dividuum / fdb-nbd
  A totally proof-of-concept FoundationDB based network block device backend
  ☆115Updated 7 years ago
• cmeiklejohn / cmeiklejohn.github.io
  My Blog.
  ☆56Updated 11 months ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆248Updated 6 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆84Updated 11 months ago
• rongarret / scache
  Secure storage for cryptographic secrets, modeled after sudo
  ☆78Updated 5 years ago
• wayfarerdb / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 8 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 7 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• konne88 / bagpipe
  BGP Policy Verification
  ☆25Updated 8 years ago
• m00dy / BloomFilter
  BloomFilter in python
  ☆101Updated 7 years ago