ivanyu / awesome-deterministic-simulation-testingLinks
A curated list of awesome deterministic simulation testing resources 😎
☆175Updated 3 weeks 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☆232Updated 2 weeks ago
- Resonate Server - A CLI, Durable Promise store, and Task Framework☆485Updated this week
- 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
- A high-level distributed programming framework for Rust☆940Updated this week
- Learn TigerBeetle by fixing tiny broken scripts!☆130Updated 5 months ago
- A distributed thread-per-core document database☆527Updated last year
- Create PostgreSQL extensions using Zig.☆536Updated 4 months ago
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆225Updated 4 months ago
- Papers informing the design and development of Distributed Async Await☆79Updated 4 months ago
- Postgres made distributed using FoundationDB☆199Updated last month
- Add hardship to your tests☆1,004Updated last month
- Apache Kafka® compatible broker with S3, PostgreSQL, Apache Iceberg and Delta Lake☆405Updated this week
- Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, o…☆1,243Updated this week
- Maelstrom is a fast Rust, Go, and Python test runner that runs every test in its own container. Tests are either run locally or distribut…☆686Updated 2 months ago
- Gossip-based service discovery (and more) for large distributed systems.☆1,103Updated this week
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…☆221Updated last month
- PostgreSQL wire protocol implemented as a rust library.☆614Updated last week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆952Updated this week
- A robust message queue system for Rust applications, designed as a Rust alternative to Celery.☆403Updated last week
- 🌒 A TUI for GitHub☆216Updated 4 months ago
- Use PRQL in PostgreSQL☆459Updated last month
- Novel implementation of a Trie data structure optimized for small, sparse maps☆567Updated 8 months ago
- Magical Deterministic Simulator for distributed systems in Rust.☆903Updated 3 weeks ago
- Deterministic workflow engine☆279Updated this week
- GG - Gui for JJ☆517Updated last month
- 🐰 Bencher - Continuous Benchmarking☆718Updated 3 weeks ago
- Golem is an open source durable computing platform that makes it easy to build and deploy highly reliable distributed systems.☆822Updated this week
- Local-First Cooperation based on Event Sourcing☆274Updated 2 months ago
- Antithesis SDK for Go☆34Updated 2 weeks ago