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

• resonatehq / resonate
  Resonate Server - A CLI, Durable Promise store, and Task Framework
  ☆518Updated last week
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆251Updated 2 weeks ago
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆115Updated last year
• tigerbeetle / tigerlings
  Learn TigerBeetle by fixing tiny broken scripts!
  ☆138Updated 7 months ago
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆183Updated last year
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆996Updated this week
• xataio / pgzx
  Create PostgreSQL extensions using Zig.
  ☆546Updated 6 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆93Updated 5 months ago
• superfly / corrosion
  Gossip-based service discovery (and more) for large distributed systems.
  ☆1,163Updated last week
• tontinton / dbeel
  A distributed thread-per-core document database
  ☆533Updated last year
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆38Updated 3 weeks ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆236Updated last month
• fabianlindfors / pgfdb
  Postgres made distributed using FoundationDB
  ☆205Updated 4 months ago
• tokio-rs / turmoil
  Add hardship to your tests
  ☆1,037Updated last month
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆206Updated 3 years ago
• tansu-io / tansu
  Apache Kafka® compatible broker with S3, PostgreSQL, Apache Iceberg and Delta Lake
  ☆481Updated this week
• sunng87 / pgwire
  PostgreSQL wire protocol implemented as a rust library.
  ☆642Updated 3 weeks ago
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆78Updated last month
• restatedev / examples
  Restate examples
  ☆112Updated this week
• obeli-sk / obelisk
  Deterministic workflow engine
  ☆289Updated this week
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated this week
• jkoppel / jj-workshop
  ☆530Updated last month
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆1,050Updated this week
• madsim-rs / madsim
  Magical Deterministic Simulator for distributed systems in Rust.
  ☆960Updated last month
• ruuda / rcl
  A reasonable configuration language
  ☆286Updated 2 weeks ago
• judofyr / spice
  Fine-grained parallelism with sub-nanosecond overhead in Zig
  ☆883Updated 6 months ago
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆78Updated 2 months ago
• gulbanana / gg
  GG - Gui for JJ
  ☆598Updated 3 months ago
• typestreamio / typestream
  Open Source streaming platform. Write and run typed data pipelines with a minimal, familiar syntax.
  ☆74Updated 6 months ago
• probably-nothing-labs / denormalized
  Embeddable stream processing engine based on Apache DataFusion
  ☆353Updated 9 months ago