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
  ☆179Updated this week
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆102Updated 6 months ago
• tigerbeetle / tigerlings
  Learn TigerBeetle by fixing tiny broken scripts!
  ☆102Updated last week
• pmwkaa / monotone
  Embeddable Cloud-Native Key-Value Storage.
  ☆90Updated last week
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆57Updated last month
• tidwall / bgen
  B-tree generator for C
  ☆121Updated this week
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆33Updated 2 months ago
• tursodatabase / pg_turso
  Postgres output plugin for replicating data to Turso.
  ☆76Updated last year
• janderland / fql
  Foundation DB Query Language
  ☆142Updated 2 weeks ago
• LAC-Tech / interlog
  A local first persistent log
  ☆35Updated last month
• xataio / pgzx
  Create PostgreSQL extensions using Zig.
  ☆500Updated last week
• tansu-io / tansu
  A drop-in replacement for Apache Kafka with PostgreSQL and S3 storage engines written in 100% safe 🦺 async 🚀 Rust 🦀
  ☆279Updated this week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆188Updated this week
• oschonrock / binfuse
  c++ library for binary fuse filters, including a sharded filter
  ☆88Updated 3 weeks ago
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆180Updated last year
• mycelial / mycelial
  Move your data with ease.
  ☆101Updated 4 months ago
• s2-streamstore / s2-sdk-rust
  Rust SDK for S2
  ☆29Updated last week
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆90Updated 2 months ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆104Updated 2 weeks ago
• eatonphil / io-playground
  Building an intuition for different IO models (sync, io_uring, etc.) across different languages.
  ☆28Updated last year
• resonatehq / resonate
  Resonate Server - a Durable Promise store and Task Orchestrator.
  ☆435Updated this week
• seddonm1 / sqlite-bench
  Code to accompany blog post https://reorchestrate.com/posts/sqlite-transactions
  ☆66Updated 7 months ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆128Updated 4 months ago
• restatedev / sdk-go
  Restate SDK for Go
  ☆24Updated this week
• zouyee / zig-learning
  A bunch of links to blog posts, articles, videos, etc for learning Zig
  ☆123Updated 3 weeks ago
• yamafaktory / hypergraphz
  HypergraphZ - A Hypergraph Implementation in Zig
  ☆102Updated 3 weeks ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆138Updated 7 months ago
• hydro-project / hydro
  A high-level distributed programming framework for Rust
  ☆833Updated this week
• inlinedio / ikv-store
  High-performance key-value store for ML inference. 100x faster than Redis.
  ☆215Updated 9 months ago