resonatehq / async-await-literatureLinks
Papers informing the design and development of Distributed Async Await
☆79Updated 6 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:
- Code and materials for my book "Pragmatic Type Level Design"☆143Updated 4 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆243Updated 11 months ago
- ☆20Updated last year
- A curated list of awesome deterministic simulation testing resources 😎☆216Updated 2 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆245Updated last week
- Patterns and resources of low latency programming.☆698Updated 3 weeks ago
- A curated list of TLA+ resources.☆153Updated last year
- A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency☆160Updated last week
- Durable Promise Specification☆93Updated 4 months ago
- A local first persistent log☆36Updated 2 months ago
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆236Updated 3 weeks ago
- Learn TLA+ for free! No prior experience necessary!☆221Updated 5 months ago
- Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter☆38Updated last year
- A book about category theory☆422Updated last week
- A distributed thread-per-core document database☆531Updated last year
- TLA+ specifications for Kafka related algorithms☆72Updated 7 months ago
- ☆85Updated 3 years ago
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…☆237Updated last week
- The Dao of Functional Programming☆473Updated 2 weeks ago
- Another minimal Raft implementation in Rust.☆184Updated last year
- EulerHS: full-fledged framework for creating web backends☆114Updated 11 months ago
- Reproduce a Java 21 virtual threads deadlock scenario in TLA+☆10Updated last year
- ☆45Updated 2 weeks ago
- Comprehensive guide, algorithms and tools on distributed systems☆224Updated last week
- Reader feedback on the early release of Designing Data-Intensive Applications, second edition☆111Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆121Updated 8 months ago
- ✨ Zero Bullshit Git☆230Updated last year
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆137Updated last week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,041Updated this week
- ☆16Updated 9 months ago