Alternatives and similar repositories for kernel:

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

• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆100Updated 8 years ago
• Legacy25 / ValkyrieDB
  A SQL-to-native-code compiler based on LLVM
  ☆46Updated 9 years ago
• ucf-cs / Tervel
  Fast wait-free algorithms designed for shared memory systems
  ☆45Updated 6 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• krareT / terark-base
  terark basic library
  ☆25Updated 6 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆48Updated 9 years ago
• BohuTANG / omt
  A cache-efficiency weight balanced binary tree
  ☆70Updated 10 years ago
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆16Updated 6 years ago
• sears / bLSM
  Read- and latency-optimized log structured merge tree
  ☆174Updated 12 years ago
• tnm / libpaxos2
  A Paxos implementation in C originally by Marco Primi, built on top of libevent
  ☆35Updated 13 years ago
• LPD-EPFL / flodb
  A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.
  ☆26Updated 7 years ago
• murraycu / murrayc-compiler-experiments
  Code experiments to exercise ideas while reading "Engineering a Compiler".
  ☆27Updated 5 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆134Updated 4 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 3 years ago
• columbia / crane
  Transparent Paxos
  ☆43Updated 5 years ago
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 11 years ago
• apc999 / libcuckoo
  A high-performance, concurrent hash table
  ☆24Updated 11 years ago
• argv0 / nbds
  C implementations of several scalable non-blocking data structures for x86 and x86-64.
  ☆38Updated 13 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 3 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• xelabs / ft-index
  TokuFT is a high-performance, transactional key-value store
  ☆19Updated 4 years ago
• kedebug / yodb
  A lightweight and fast key-value storage engine based on the buffer tree.
  ☆53Updated 10 years ago
• urcs-sync / Interval-Based-Reclamation
  Artifact for PPoPP'18
  ☆18Updated 2 years ago
• Azure / RSL
  Replicated State Library. RSL is the Azure Paxos implementation which is used by multiple products in Azure and Bing. It provides the tra…
  ☆75Updated last year
• JimChengLin / levi-db
  levi-db is a fast database engine
  ☆36Updated 6 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• microsoft / pmwcas
  pmwcas
  ☆135Updated last year
• utsaslab / optfs
  The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…
  ☆33Updated 11 years ago
• efficient / cicada-engine
  The Cicada engine
  ☆55Updated 7 years ago
• logcabin / liblogcabin
  An attempt to split the Raft library out of LogCabin
  ☆38Updated 7 years ago