Alternatives and similar repositories for async-await-literature

Users that are interested in async-await-literature are comparing it to the libraries listed below

• ivanyu / awesome-deterministic-simulation-testing
  A curated list of awesome deterministic simulation testing resources 😎
  ☆280Updated 6 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆269Updated last week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆235Updated 3 weeks ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆147Updated 8 months ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆161Updated last year
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆92Updated 8 months ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆255Updated last year
• djiangtw / data-structures-in-practice-public
  A hardware-aware guide to data structures for system software engineers.
  ☆1,041Updated 2 weeks ago
• verse-lab / obatcher_ds
  ☆20Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆180Updated 3 weeks ago
• basilysf1709 / distributed-systems
  Comprehensive guide, algorithms and tools on distributed systems
  ☆230Updated 4 months ago
• jamesward / easyracer
  A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
  ☆177Updated last week
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆92Updated 2 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆245Updated 4 months ago
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆1,151Updated 5 months ago
• enhancedformysql / tech-explorer-hub
  Create the best technical resources for developers to build a strong foundation for professional growth.
  ☆97Updated 7 months ago
• uds-psl / Prog
  ☆90Updated 3 years ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆1,113Updated last week
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆283Updated 3 weeks ago
• louiseGrandjonc / pageinspect_inspector
  A little tool to display your postgres BTree indexes in an html using pageinspect data
  ☆67Updated last year
• avinassh / py-caskdb
  (educational) build your own disk based KV store
  ☆1,345Updated last year
• pcholakov / p-promises
  A P model of durable Promises
  ☆14Updated 2 years ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆495Updated last month
• janestreet / bonsai_term
  A library for building dynamic terminal apps, using bonsai
  ☆127Updated last month
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆76Updated 3 weeks ago
• imteekay / programming-language-research
  ✨ Programming Language Research, Applied PLT & Compilers
  ☆954Updated last year
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆453Updated this week
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆137Updated last year
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆326Updated 3 months ago