tigerbeetle / viewstamped-replication-made-famous

Related projects ⓘ

Alternatives and complementary repositories for viewstamped-replication-made-famous

• eatonphil / zigrocks
  Writing a SQL database, take two: Zig and RocksDB
  ☆141Updated 2 years ago
• hexops / fastfilter
  fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)
  ☆260Updated last month
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• mattnite / bpf
  [WIP] Zig BPF library
  ☆65Updated last year
• mitchellh / zig-graph
  Directed graph data structure for Zig
  ☆91Updated 2 years ago
• dsrhaslab / lazyfs
  LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes
  ☆122Updated 2 weeks ago
• tangledbytes / go-vsr
  ViewStamped Replication implementation in Go
  ☆38Updated last year
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆30Updated last week
• mattnite / zig-bpf-intro
  Introduction to using BPF with Zig
  ☆52Updated 3 years ago
• clickingbuttons / arrow-zig
  Apache Arrow implementation
  ☆41Updated 9 months ago
• richardartoul / nola
  ☆74Updated 7 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 6 months ago
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆114Updated last year
• tw4452852 / zbpf
  Writing eBPF in Zig
  ☆122Updated this week
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆94Updated 3 months ago
• b0bleet / zvisor
  Zig-based Hypervisor
  ☆133Updated 3 months ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆126Updated 8 months ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• saltzm / async_io_uring
  An event loop in Zig using io_uring and coroutines
  ☆116Updated 2 years ago
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆143Updated 5 months ago
• tigerbeetle / hackathon-2023
  TigerBeetle Hackathon at Interledger Summit 2023
  ☆13Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆225Updated last year
• tidwall / bgen
  B-tree generator for C
  ☆108Updated this week
• eatonphil / io-playground
  Building an intuition for different IO models (sync, io_uring, etc.) across different languages.
  ☆27Updated last year
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆86Updated 4 months ago
• kprotty / zap
  An asynchronous runtime with a focus on performance and resource efficiency.
  ☆447Updated 3 months ago
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆48Updated last month
• komora-io / cache-advisor
  scan-resistant concurrent lazy LRU
  ☆58Updated last year
• mitchellh / zig-libgc
  Zig-friendly library for interfacing with libgc (bdwgc) -- the Boehm-Demers-Weiser conservative garbage collector
  ☆169Updated 10 months ago