ivanyu / awesome-deterministic-simulation-testingLinks
A curated list of awesome deterministic simulation testing resources 😎
☆201Updated last month
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
Sorting:
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆242Updated 2 weeks ago
- Learn TigerBeetle by fixing tiny broken scripts!☆132Updated 5 months ago
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆112Updated 11 months ago
- Fast webserver with predictable memory usage☆180Updated last year
- Resonate Server - A CLI, Durable Promise store, and Task Framework☆504Updated this week
- Create PostgreSQL extensions using Zig.☆538Updated 4 months ago
- A distributed thread-per-core document database☆530Updated last year
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆230Updated last week
- Postgres made distributed using FoundationDB☆203Updated 2 months ago
- Add hardship to your tests☆1,014Updated last week
- Apache Kafka® compatible broker with S3, PostgreSQL, Apache Iceberg and Delta Lake☆428Updated last week
- Antithesis SDK for Go☆35Updated last month
- Gossip-based service discovery (and more) for large distributed systems.☆1,124Updated this week
- A high-level distributed programming framework for Rust☆955Updated this week
- 🌒 A TUI for GitHub☆217Updated last week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆969Updated last week
- Durable Promise Specification☆93Updated 4 months ago
- Deterministic workflow engine☆284Updated this week
- Restate examples☆105Updated last week
- Another minimal Raft implementation in Rust.☆184Updated last year
- Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, o…☆1,260Updated last week
- PostgreSQL wire protocol implemented as a rust library.☆627Updated this week
- ZeroFS - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3.☆321Updated this week
- A curated list of awesome DBOS resources 😎☆67Updated 3 months ago
- High-performance key-value store for ML inference. 100x faster than Redis.☆221Updated last year
- A robust message queue system for Rust applications, designed as a Rust alternative to Celery.☆405Updated last month
- ☆430Updated last week
- Rust SDK for S2☆37Updated this week
- Novel implementation of a Trie data structure optimized for small, sparse maps☆570Updated 9 months ago
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…☆223Updated 2 months ago