Alternatives and similar repositories for jepsen-tigerbeetle:

Users that are interested in jepsen-tigerbeetle are comparing it to the libraries listed below

• triblespace / tribles-rust
  ☆27Updated 2 weeks ago
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆89Updated 8 months ago
• tigerbeetle / hackathon-2023
  TigerBeetle Hackathon at Interledger Summit 2023
  ☆13Updated last year
• jwhear / roaring-zig
  Zig bindings for the excellent CRoaring library
  ☆31Updated 5 months ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated 2 months ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆66Updated 2 years ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆33Updated this week
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆198Updated 2 years ago
• mitchellh / zig-libuv
  Zig bindings for libuv. Also a build script to build libuv from scratch using only Zig (for easy cross-compilation, integration with Zig,…
  ☆17Updated 2 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• dont-rely-on-nulls / zerl
  A Zig library to idiomatically communicate with other BEAM nodes
  ☆37Updated last week
• Luukdegram / ctradix
  Comptime radix tree in Zig
  ☆22Updated 3 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆58Updated 2 months ago
• zigtools / scip-zig
  SCIP indexer for Zig!
  ☆24Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• judofyr / ish
  Sketches for Zig
  ☆26Updated 10 months ago
• frodwith / jaque
  nock on the jvm
  ☆25Updated 7 years ago
• hexops / zorex
  Zorex: the omnipotent regex engine
  ☆67Updated 3 years ago
• dantecatalfamo / zig-dns
  Experimental DNS library implemented in zig
  ☆62Updated last year
• alichraghi / zstd.zig
  Zig binding of Z Standard
  ☆25Updated last year
• pyrmont / persimmon
  Persistent immutable data structures for Janet
  ☆11Updated 3 years ago
• yamafaktory / hypergraphz
  HypergraphZ - A Hypergraph Implementation in Zig
  ☆103Updated 2 weeks ago
• cryptocode / marble
  A metamorphic testing library for Zig
  ☆38Updated 2 weeks ago
• ordovician / Zacktron-33
  Assembler and disassembler for the imaginary Calcutron-33 CPU implemented in Zig
  ☆22Updated 2 years ago
• antithesishq / antithesis-trigger-action
  An action that triggers an Antithesis notebook / test workflow
  ☆11Updated last week
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated 4 months ago