imdea-software / swiftpaxos

Related projects ⓘ

Alternatives and complementary repositories for swiftpaxos

• mit-pdos / vmvcc
  ☆16Updated 4 months ago
• nvanbenschoten / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆17Updated 2 years ago
• justinj / nulldb
  ☆12Updated 5 months ago
• mit-pdos / go-journal
  Verified, concurrent, crash-safe transaction system
  ☆53Updated 4 months ago
• asch / bs3
  BS3: Block device in S3
  ☆12Updated 2 years ago
• databendlabs / databend-go
  Golang driver for databend cloud
  ☆20Updated last week
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆48Updated last month
• casbin-mesh / neo
  Casbin Neo (neo for new engine option)
  ☆12Updated 2 years ago
• mit-pdos / gokv
  ☆13Updated last month
• Fedomn / how-query-engine-work
  How query engine work golang port for learning purpose
  ☆23Updated 2 years ago
• opencoff / go-sieve
  SIEVE cache - simpler than LRU
  ☆26Updated 10 months ago
• liuzix / ticompile
  Explore JIT in TiDB
  ☆28Updated 2 years ago
• romange / midi-redis
  A toy memory store with great performance
  ☆34Updated 2 years ago
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• tidwall / ptx
  Probabilistic transaction graph for optimistic concurrency control.
  ☆41Updated last week
• tangledbytes / go-vsr
  ViewStamped Replication implementation in Go
  ☆38Updated last year
• apache / horaedb-client-rs
  Apache HoraeDB (Incubating) Rust Client.
  ☆14Updated 4 months ago
• tikv / client-cpp
  TiKV Client for C++
  ☆14Updated 11 months ago
• usamoi / saha
  OSPP 2022 Project: String Adaptive Hash Table for Databend
  ☆18Updated 2 years ago
• open-rsm / vr
  A library of replicated state machine algorithms is based on Viewstamped Replication Revisited
  ☆12Updated 3 years ago
• databendlabs / databend-docs
  Official repository for Databend documentation
  ☆13Updated this week
• openacid / succinct
  succinct static kv
  ☆43Updated 3 years ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆109Updated last year
• tbg / caspaxos-tla
  TLA+ description for the CAS-Paxos algorithm
  ☆12Updated 7 years ago
• tispace-dev / tispace
  TiSpace manages VMs in K8s for developers
  ☆14Updated last week
• acharapko / fleetdb
  ☆12Updated 4 years ago
• sunbains / embedded-innodb
  Embedded InnoDB based on v5.1
  ☆28Updated 3 weeks ago
• c4pt0r / tcli
  The ultimate CLI tool for TiKV
  ☆56Updated 6 months ago
• capsuleman / ssd-nvme-database
  Columnar database on SSD NVMe
  ☆13Updated 3 years ago