resonatehq / async-await-literatureLinks
Papers informing the design and development of Distributed Async Await
☆76Updated 3 months ago
Alternatives and similar repositories for async-await-literature
Users that are interested in async-await-literature are comparing it to the libraries listed below
Sorting:
- Durable Promise Specification☆94Updated 2 months ago
- A local first persistent log☆36Updated last week
- A curated list of awesome deterministic simulation testing resources 😎☆154Updated last month
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆225Updated this week
- TLA+ specifications for Kafka related algorithms☆67Updated 4 months ago
- Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter☆39Updated last year
- A curated list of awesome DBOS resources 😎☆66Updated last month
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…☆210Updated last month
- ☆109Updated 6 months ago
- ☆19Updated 9 months ago
- A curated list of TLA+ resources.☆143Updated 11 months ago
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆108Updated 9 months ago
- B-tree generator for C☆134Updated 3 weeks ago
- An understandable, fast and scalable Raft Consensus implementation☆141Updated 8 months ago
- Embeddable Cloud-Native Key-Value Storage.☆94Updated 3 months ago
- A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency☆141Updated this week
- a dead simple programming model for the cloud☆24Updated last week
- Comprehensive guide, algorithms and tools on distributed systems☆217Updated 3 months ago
- Patterns and resources of low latency programming.☆565Updated 9 months ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆125Updated this week
- A little Delta Lake/Iceberg inspired database implementation in Go☆42Updated 8 months ago
- ☆21Updated last year
- Learn TLA+ for free! No prior experience necessary!☆212Updated 2 months ago
- ☆18Updated 4 years ago
- Restate examples☆93Updated this week
- RotoHash: Hashing for High-Bandwidth Data☆16Updated last month
- Small numerical simulator example☆54Updated last year
- Reader feedback on the early release of Designing Data-Intensive Applications, second edition☆77Updated 9 months ago
- Create the best technical resources for developers to build a strong foundation for professional growth.☆98Updated 3 weeks ago
- a minimalistic implementation of RAFT algorithm☆25Updated last year