Alternatives and similar repositories for chidb

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

• ayende / libgavran
  Experimenting with persistence in C
  ☆182Updated 3 years ago
• dhanus / lsm-tree
  This is an implementation of a log structure merge tree.
  ☆59Updated 7 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 5 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆207Updated 4 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆79Updated last year
• mpu / gthreads
  Toy Green Threads for C.
  ☆201Updated 8 years ago
• mrnugget / helles
  A prototype of a web server, using master-worker architecture, written in C.
  ☆50Updated 8 years ago
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆61Updated 7 months ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆40Updated 3 years ago
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆41Updated 5 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆186Updated 10 months ago
• s-hironobu / AlgorithmCollection
  An Educational parallel Algorithm collection
  ☆127Updated 4 months ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• sunbains / embedded-innodb
  Embedded InnoDB based on v5.1
  ☆32Updated last month
• viktorleis / mmapbench
  ☆137Updated 2 years ago
• OrangeTide / btree
  lock free modified prefix B+tree append-only database
  ☆117Updated 10 years ago
• julienschmidt / moderndbs
  Basic Database System implemented for MDBS course
  ☆13Updated 10 years ago
• sears / bLSM
  Read- and latency-optimized log structured merge tree
  ☆174Updated 13 years ago
• junjieliu2910 / cmu-15-445
  The project folder of the 15-445 Introduction to Database system
  ☆45Updated 6 years ago
• nicodri / Log-Structured-Merge-Tree
  ☆29Updated 8 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆195Updated 7 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆100Updated 6 years ago
• Nov11 / 15-445
  CMU 15-445 2017 (force pushed to erase my works)
  ☆59Updated 5 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• efficient / HOPE
  Order-preserving key encoder
  ☆122Updated 5 years ago
• armen / dp
  Distributed Programming Abstractions
  ☆16Updated 6 years ago