ivanyu / awesome-deterministic-simulation-testingLinks
A curated list of awesome deterministic simulation testing resources 😎
☆154Updated 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:
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆108Updated 9 months ago
- Local-First Cooperation based on Event Sourcing☆269Updated last month
- A local first persistent log☆36Updated last week
- Antithesis SDK for Go☆33Updated 5 months ago
- Fast webserver with predictable memory usage☆170Updated last year
- Learn TigerBeetle by fixing tiny broken scripts!☆124Updated 3 months ago
- Durable Promise Specification☆94Updated 2 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆225Updated this week
- Rust SDK for S2☆35Updated last week
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆200Updated 2 years ago
- Postgres made distributed using FoundationDB☆171Updated 2 weeks ago
- Writing a SQL database, take two: Zig and RocksDB☆155Updated 2 years ago
- Papers informing the design and development of Distributed Async Await☆76Updated 3 months ago
- Restate examples☆93Updated this week
- Resonate Server - A CLI, Durable Promise store, and Task Framework☆466Updated this week
- A distributed thread-per-core document database☆521Updated last year
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 5 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆121Updated last year
- SQL Language server and cli☆86Updated 3 months ago
- High-performance key-value store for ML inference. 100x faster than Redis.☆221Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆120Updated 4 months ago
- OxidSQL (Toy) SQL Database in Rust☆75Updated 9 months ago
- Move your data with ease.☆109Updated 8 months ago
- Simple live calculator in tree-sitter + cranelift jit☆74Updated 6 months ago
- Postgres output plugin for replicating data to Turso.☆75Updated last year
- A curated list of awesome DBOS resources 😎☆66Updated last month
- Rust library and daemon for easily starting postgres databases per-test without Docker☆232Updated 2 months ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆216Updated last year
- Create PostgreSQL extensions using Zig.☆534Updated 2 months ago
- Embedded storage built for multiplexing. Smart machines don't need to read JSON, they only need protocol buffers. The world's first MODMS…☆294Updated 5 months ago