Alternatives and similar repositories for zanzibar-annotated:

Users that are interested in zanzibar-annotated are comparing it to the libraries listed below

• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆128Updated 4 months ago
• maxwellpeterson / kafka-worker
  Kafka 0.8.0 broker implementation on top of Cloudflare Workers
  ☆145Updated 2 years ago
• superfly / macaroon
  Fly.io macaroon implementation
  ☆80Updated 3 weeks ago
• sqrl-lang / sqrl
  A safe, stateful rules language for event streams
  ☆113Updated last year
• capillariesio / capillaries
  Distributed batch data processing framework
  ☆64Updated last month
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆33Updated 3 months ago
• superfly / ssokenizer
  ☆91Updated last week
• splitgraph / seafowl-gcsfuse
  Scale to zero Seafowl hosting with Cloud Run
  ☆38Updated last year
• janderland / fql
  Foundation DB Query Language
  ☆141Updated last week
• abelanger5 / postgres-fair-queue
  ☆31Updated 9 months ago
• libsql / bottomless
  ☆34Updated 2 years ago
• nicolasgere / monogo
  Go workspace monorepo tool
  ☆49Updated 5 months ago
• seddonm1 / sqlite-bench
  Code to accompany blog post https://reorchestrate.com/posts/sqlite-transactions
  ☆66Updated 6 months ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated last year
• hypirion / time-travelling-todo-lists-in-postgres
  An implementation of system-versioned tables in Postgres using only triggers, with a time travelling todo app as a showcase.
  ☆32Updated last year
• danslimmon / qsim
  Queueing system simulator
  ☆52Updated 8 years ago
• konigsoftware / konig-kontext
  A globally shared, request scoped, context for JVM based gRPC microservices
  ☆43Updated 6 months ago
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆38Updated 5 months ago
• Dicklesworthstone / paxos_vs_raft
  ☆11Updated last year
• superfly / tokenizer
  HTTP proxy that injects 3rd party credentials into requests
  ☆200Updated last week
• braid-org / braid-text
  Text Synchronization libraries over Braid-HTTP
  ☆61Updated last week
• codebench-dev / worker
  The CodeBench worker, which handles jobs and Firecracker microVMs
  ☆49Updated 3 weeks ago
• formancehq / numscript
  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…
  ☆84Updated this week
• wildarch / jepsen.rqlite
  ☆58Updated 2 years ago
• kapetan-io / querator
  A Reservation queue with Almost Exactly Once Delivery (AEOD) semantics
  ☆49Updated 2 months ago
• SigNoz / logs-benchmark
  Logs performance benchmark repo: Comparing Elastic, Loki and SigNoz
  ☆81Updated 2 years ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆75Updated 9 months ago
• authzed / playground
  Playground for SpiceDB, the open source, Google Zanzibar-inspired permissions database to enable fine-grained access control for customer…
  ☆40Updated 2 weeks ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• fwkz / dill
  Cloud ready L4 TCP proxy with first-class support for dynamic listeners
  ☆44Updated last year