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

• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆106Updated 7 months ago
• tigerbeetle / tigerlings
  Learn TigerBeetle by fixing tiny broken scripts!
  ☆112Updated last month
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆202Updated last week
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆168Updated 10 months ago
• xNaCly / sqleibniz
  SQL Language server and cli
  ☆85Updated last month
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆199Updated 2 years ago
• resonatehq / resonate
  Resonate Server - A CLI, Durable Promise store, and Task Framework
  ☆448Updated last week
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆61Updated 2 months ago
• eatonphil / io-playground
  Building an intuition for different IO models (sync, io_uring, etc.) across different languages.
  ☆28Updated last year
• yamafaktory / hypergraphz
  HypergraphZ - A Hypergraph Implementation in Zig
  ☆104Updated 3 weeks ago
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆33Updated 3 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆35Updated 3 months ago
• amelielabs / amelie
  Relational Database for High-Intensity OLTP workloads.
  ☆64Updated this week
• xataio / pgzx
  Create PostgreSQL extensions using Zig.
  ☆515Updated 2 weeks ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆71Updated 3 months ago
• pmwkaa / monotone
  Embeddable Cloud-Native Key-Value Storage.
  ☆91Updated last month
• s2-streamstore / s2-sdk-rust
  Rust SDK for S2
  ☆29Updated this week
• hydro-project / hydro
  A high-level distributed programming framework for Rust
  ☆874Updated this week
• tursodatabase / pg_turso
  Postgres output plugin for replicating data to Turso.
  ☆75Updated last year
• onecodex / rust-bfield
  B-field implementation in Rust
  ☆204Updated 10 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆94Updated 3 weeks ago
• mycelial / mycelial
  Move your data with ease.
  ☆106Updated 5 months ago
• inlinedio / ikv-store
  High-performance key-value store for ML inference. 100x faster than Redis.
  ☆219Updated 10 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆120Updated last year
• ruuda / rcl
  A reasonable configuration language
  ☆248Updated this week
• restatedev / examples
  Restate examples
  ☆81Updated last week
• oschonrock / binfuse
  c++ library for binary fuse filters, including a sharded filter
  ☆87Updated 2 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆69Updated 3 months ago
• danthegoodman1 / icedb
  An in-process Parquet merge engine for better data warehousing in S3 with MVCC
  ☆141Updated 2 months ago
• korandoru / hawkeye
  Simple license header checker and formatter, in multiple distribution forms.
  ☆152Updated 2 weeks ago