Alternatives and similar repositories for zurich:

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

• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆45Updated 7 years ago
• postgrespro / pg_tsdtm
  ☆30Updated 9 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆132Updated 8 years ago
• seiflotfy / pcsa
  ☆37Updated 6 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
• dlthomas / sql-viewer
  GHCJS front-end for queryparser
  ☆80Updated 6 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆22Updated 4 years ago
• afiodorov / radixmmap
  Mmap radix sort file by a fixed length prefix of each line
  ☆52Updated 4 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• xmonkee / rusttracer
  A Raytracer written in the Rust Language
  ☆16Updated 7 years ago
• cmeiklejohn / cmeiklejohn.github.io
  My Blog.
  ☆57Updated 8 months ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆188Updated 3 years ago
• dividuum / fdb-nbd
  A totally proof-of-concept FoundationDB based network block device backend
  ☆115Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 11 months ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• codahale / sketchy
  A small set of useful probabilistic data structures.
  ☆69Updated 6 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• mirage / mirage-decks
  These are the MirageOS slide decks, written as a self-hosting unikernel
  ☆13Updated 7 years ago
• spullara / interviewcode
  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
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• axiomhq / quantiles
  Optimal Quantile Approximation in Streams
  ☆163Updated 2 years ago
• AlexKashuba / SQLite_JIT
  ☆27Updated 6 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆84Updated 9 months ago
• deferpanic / virgo
  Run Unikernels Locally and Natively on OSX and Linux
  ☆66Updated 6 years ago
• kelseyhightower / echo
  echo prints the first positional argument to stdout
  ☆59Updated 8 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• istathar / vaultaire
  Data vault for metrics
  ☆59Updated 9 years ago