uchicago-cs / chidb

Related projects ⓘ

Alternatives and complementary repositories for chidb

• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 6 years ago
• s-hironobu / AlgorithmCollection
  An Educational parallel Algorithm collection
  ☆107Updated 10 months ago
• ayende / libgavran
  Experimenting with persistence in C
  ☆157Updated 2 years ago
• mrnugget / helles
  A prototype of a web server, using master-worker architecture, written in C.
  ☆47Updated 8 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 3 years ago
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆113Updated last year
• mpu / gthreads
  Toy Green Threads for C.
  ☆195Updated 7 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆194Updated 4 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆86Updated 6 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆78Updated last year
• dhanus / lsm-tree
  This is an implementation of a log structure merge tree.
  ☆60Updated 7 years ago
• ajdavis / python-paxos-jepsen
  Paxos in Python, tested with Jepsen
  ☆31Updated 2 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆49Updated 4 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 9 years ago
• viktorleis / mmapbench
  ☆129Updated 2 years ago
• siathalysedI / lsmtree
  Log-Structured Merge-Tree (LSM-Tree)
  ☆89Updated 7 years ago
• Tokutek / ft-index
  This is a mirror of github.com/percona/PerconaFT that is kept here for legacy purposes.
  ☆93Updated 4 years ago
• armen / dp
  Distributed Programming Abstractions
  ☆16Updated 5 years ago
• tdop / tdop.github.io
  Reprinting Vaughan Pratt's Paper on Top Down Operator Precedence Parsing
  ☆115Updated 9 months ago
• sears / bLSM
  Read- and latency-optimized log structured merge tree
  ☆174Updated 12 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆172Updated 3 months ago
• malbrain / database
  Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency
  ☆75Updated 3 years ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆65Updated 5 years ago
• efficient / HOPE
  Order-preserving key encoder
  ☆122Updated 4 years ago
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆214Updated 8 years ago
• naskitis / B-trie
  The B-trie and B-tree, written in C, as described in my PhD thesis.
  ☆26Updated 7 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆131Updated 4 years ago
• runshenzhu / palmtree
  An implementation of Intel's concurrent B+Tree (Palm Tree)
  ☆171Updated 8 years ago
• nicodri / Log-Structured-Merge-Tree
  ☆29Updated 7 years ago