ivanyu / awesome-deterministic-simulation-testingLinks
A curated list of awesome deterministic simulation testing resources ๐
โ249Updated 3 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:
- Learn TigerBeetle by fixing tiny broken scripts!โ141Updated 7 months ago
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.โ115Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applicationsโ256Updated 2 weeks ago
- Create PostgreSQL extensions using Zig.โ550Updated 6 months ago
- A distributed thread-per-core document databaseโ533Updated last year
- Apache Kafkaยฎ compatible broker with S3, PostgreSQL, Apache Iceberg and Delta Lakeโ497Updated last week
- Fast webserver with predictable memory usageโ183Updated last year
- Durable Promise Specificationโ93Updated 6 months ago
- Gossip-based service discovery (and more) for large distributed systems.โ1,195Updated this week
- Add hardship to your testsโ1,046Updated 2 months ago
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.โ207Updated 3 years ago
- A Rust framework for correct and performant distributed systemsโ1,034Updated this week
- Restate examplesโ115Updated this week
- Postgres made distributed using FoundationDBโ206Updated 4 months ago
- A curated list of awesome DBOS resources ๐โ79Updated 2 months ago
- Read-through cache for object storageโ470Updated 2 weeks ago
- Papers informing the design and development of Distributed Async Awaitโ83Updated 7 months ago
- โ535Updated 2 months ago
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotrโฆโ246Updated last month
- PostgreSQL wire protocol implemented as a rust library.โ657Updated last week
- A local first persistent logโ36Updated 3 weeks ago
- Novel implementation of a Trie data structure optimized for small, sparse mapsโ574Updated 11 months ago
- A bunch of links to blog posts, articles, videos, etc for learning Zigโ163Updated 6 months ago
- OxidSQL (Toy) SQL Database in Rustโ78Updated 2 months ago
- Writing a SQL database, take two: Zig and RocksDBโ158Updated 2 years ago
- Another minimal Raft implementation in Rust.โ184Updated last year
- Antithesis SDK for Goโ38Updated 2 weeks ago
- Move your data with ease.โ108Updated last year
- โ126Updated 5 months ago
- Fine-grained parallelism with sub-nanosecond overhead in Zigโ888Updated 7 months ago