ivanyu / awesome-deterministic-simulation-testingLinks
A curated list of awesome deterministic simulation testing resources ๐
โ263Updated 5 months ago
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โ263Updated this week
- Resonate Server - A CLI, Durable Promise store, and Task Frameworkโ534Updated last week
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.โ116Updated last year
- Learn TigerBeetle by fixing tiny broken scripts!โ144Updated 9 months ago
- Antithesis SDK for Goโ39Updated last month
- A distributed thread-per-core document databaseโ532Updated last year
- Durable Promise Specificationโ92Updated 7 months ago
- Papers informing the design and development of Distributed Async Awaitโ84Updated 8 months ago
- Postgres made distributed using FoundationDBโ213Updated 6 months ago
- Fast webserver with predictable memory usageโ188Updated last year
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotrโฆโ263Updated 2 weeks ago
- Restate examplesโ129Updated 2 weeks ago
- A Rust framework for correct and performant distributed systemsโ1,067Updated this week
- โ539Updated 3 months ago
- Create PostgreSQL extensions using Zig.โ560Updated 8 months ago
- Gossip-based service discovery (and more) for large distributed systems.โ1,464Updated this week
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.โ210Updated 3 years ago
- A local first persistent logโ36Updated 2 months ago
- Magical Deterministic Simulator for distributed systems in Rust.โ991Updated last month
- Add hardship to your testsโ1,073Updated last week
- A curated list of awesome DBOS resources ๐โ84Updated 3 weeks ago
- Read-through cache for object storageโ529Updated 2 weeks ago
- โ136Updated 6 months ago
- ๐ CCL: Categorical Configuration Language, The most elegant configuration languageโ240Updated 3 months ago
- Apache Kafkaยฎ compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lakeโ734Updated this week
- Nyrkiรถ is an open source platform for detecting performance changes in a Continuous Performance Engineering workflowโ52Updated this week
- High-performance key-value store for ML inference. 100x faster than Redis.โ223Updated last year
- List of FoundationDB resourcesโ220Updated last week
- Rust SDK for S2โ40Updated 2 weeks ago
- Novel implementation of a Trie data structure optimized for small, sparse mapsโ575Updated last year