adambcomer / WiscKey

Related projects ⓘ

Alternatives and complementary repositories for WiscKey

• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆113Updated last year
• jepsen-io / mongodb
  MongoDB Jepsen tests
  ☆24Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• adambcomer / database-engine
  LSM-Tree Key-Value Store based on RocksDB
  ☆79Updated last year
• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• LAC-Tech / interlog
  A local first persistent log
  ☆32Updated this week
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆47Updated 3 weeks ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆100Updated 7 months ago
• LeisureLink / write-ahead-log
  An implementation of write-ahead logging (WAL) for nodejs.
  ☆14Updated 8 years ago
• kunrenyale / CalvinDB
  Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)
  ☆24Updated 4 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆28Updated 2 months ago
• NeowayLabs / bplustree
  Concurrent in-memory B+ Tree featuring optimistic lock coupling
  ☆19Updated last year
• GavinRay97 / rosetta-db
  ☆17Updated last year
• sunbains / embedded-innodb
  Embedded InnoDB based on v5.1
  ☆28Updated last week
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆65Updated 5 years ago
• apache / cassandra-accord
  Accord library for Apache Cassandra®
  ☆63Updated this week
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• justinj / nulldb
  ☆12Updated 5 months ago
• tomfran / LSM-Tree
  Log-Structured Merge Tree Java implementation
  ☆79Updated 6 months ago
• MaterializeInc / advent-of-code-2023
  Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄
  ☆20Updated 3 months ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• wuxb45 / wormhole
  Wormhole: A concurrent ordered in-memory key-value index with O(log L) search cost (L is search key's length)
  ☆76Updated 2 years ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆52Updated 3 weeks ago
• jamii / streaming-consistency
  Demonstrations of (in)consistency in various streaming systems.
  ☆23Updated 3 years ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• L-v-M / async
  ☆21Updated last year