Alternatives and similar repositories for awesome-deterministic-simulation-testing

Users that are interested in awesome-deterministic-simulation-testing are comparing it to the libraries listed below

• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆269Updated last week
• resonatehq / resonate
  Resonate Server - A CLI, Durable Promise store, and Task Framework
  ☆555Updated last week
• tigerbeetle / tigerlings
  Learn TigerBeetle by fixing tiny broken scripts!
  ☆160Updated 10 months ago
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆117Updated last year
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆92Updated 8 months ago
• tontinton / dbeel
  A distributed thread-per-core document database
  ☆536Updated 2 years ago
• xataio / pgzx
  Create PostgreSQL extensions using Zig.
  ☆568Updated 9 months ago
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆92Updated 2 months ago
• tokio-rs / turmoil
  Add hardship to your tests
  ☆1,094Updated last week
• superfly / corrosion
  Gossip-based service discovery (and more) for large distributed systems.
  ☆1,549Updated last week
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆1,120Updated last week
• tansu-io / tansu
  Apache Kafka® compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lake
  ☆887Updated last week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆245Updated 4 months ago
• fabianlindfors / pgfdb
  Postgres made distributed using FoundationDB
  ☆218Updated 7 months ago
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆283Updated 3 weeks ago
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆1,113Updated last week
• nvartolomei / oswald
  A Write-Ahead Log (WAL) design built exclusively on object storage primitives.
  ☆48Updated 2 months ago
• restatedev / examples
  Restate examples
  ☆135Updated 2 weeks ago
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆193Updated last year
• sunng87 / pgwire
  PostgreSQL wire protocol implemented as a rust library.
  ☆706Updated last week
• resonatehq / async-await-literature
  Papers informing the design and development of Distributed Async Await
  ☆84Updated 10 months ago
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆79Updated 5 months ago
• chshersh / github-tui
  🌒 A TUI for GitHub
  ☆241Updated 5 months ago
• madsim-rs / madsim
  Magical Deterministic Simulator for distributed systems in Rust.
  ☆1,012Updated 3 weeks ago
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆186Updated last year
• s2-streamstore / cachey
  Read-through cache for object storage
  ☆546Updated this week
• orbitinghail / graft
  Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, o…
  ☆1,376Updated last week
• s2-streamstore / s2-sdk-rust
  Rust SDK for S2
  ☆42Updated this week
• jkoppel / jj-workshop
  ☆546Updated 5 months ago
• edmondop / awesome-durable-executions
  A collection of resources for Durable Executions enthusiasts
  ☆84Updated 2 weeks ago