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
  ☆264Updated 3 weeks ago
• tigerbeetle / tigerlings
  Learn TigerBeetle by fixing tiny broken scripts!
  ☆153Updated 9 months ago
• resonatehq / resonate
  Resonate Server - A CLI, Durable Promise store, and Task Framework
  ☆547Updated this week
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆116Updated last year
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆42Updated 2 months ago
• xataio / pgzx
  Create PostgreSQL extensions using Zig.
  ☆563Updated 8 months ago
• fabianlindfors / pgfdb
  Postgres made distributed using FoundationDB
  ☆217Updated 6 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆92Updated 8 months ago
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆89Updated last month
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆190Updated last year
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆211Updated 3 years ago
• superfly / corrosion
  Gossip-based service discovery (and more) for large distributed systems.
  ☆1,489Updated last week
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆1,096Updated last week
• resonatehq / async-await-literature
  Papers informing the design and development of Distributed Async Await
  ☆84Updated 9 months ago
• tontinton / dbeel
  A distributed thread-per-core document database
  ☆533Updated last year
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆1,076Updated last week
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆269Updated 3 weeks ago
• tokio-rs / turmoil
  Add hardship to your tests
  ☆1,085Updated 3 weeks ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆244Updated 4 months ago
• madsim-rs / madsim
  Magical Deterministic Simulator for distributed systems in Rust.
  ☆1,002Updated last week
• jkoppel / jj-workshop
  ☆541Updated 4 months ago
• judofyr / spice
  Fine-grained parallelism with sub-nanosecond overhead in Zig
  ☆914Updated last week
• fauna / faunadb
  ☆137Updated 7 months ago
• s2-streamstore / cachey
  Read-through cache for object storage
  ☆541Updated 2 weeks ago
• tansu-io / tansu
  Apache Kafka® compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lake
  ☆828Updated this week
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆79Updated 4 months ago
• restatedev / examples
  Restate examples
  ☆131Updated this week
• nyrkio / nyrkio
  Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow
  ☆53Updated last week
• edmondop / awesome-durable-executions
  A collection of resources for Durable Executions enthusiasts
  ☆80Updated last week
• amelielabs / monotone
  Embeddable Cloud-Native Key-Value Storage For Sequential Data.
  ☆103Updated 5 months ago