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 😎
  ☆267Updated 5 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆92Updated 8 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆264Updated 3 weeks ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆254Updated last year
• verse-lab / obatcher_ds
  ☆20Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆231Updated 8 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆147Updated 8 months ago
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆1,096Updated last week
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆131Updated last year
• jamesward / easyracer
  A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
  ☆176Updated last week
• imteekay / programming-language-research
  ✨ Programming Language Research, Applied PLT & Compilers
  ☆950Updated last year
• resonatehq / resonate
  Resonate Server - A CLI, Durable Promise store, and Task Framework
  ☆547Updated this week
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆84Updated 10 months ago
• tontinton / dbeel
  A distributed thread-per-core document database
  ☆533Updated last year
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆89Updated last month
• basilysf1709 / distributed-systems
  Comprehensive guide, algorithms and tools on distributed systems
  ☆229Updated 3 months ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆76Updated last month
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆269Updated 3 weeks ago
• redixhumayun / dst
  ☆16Updated last year
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆244Updated 4 months ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆447Updated this week
• jandrewrogers / RotoHash
  RotoHash: Hashing for High-Bandwidth Data
  ☆21Updated 8 months ago
• avinassh / py-caskdb
  (educational) build your own disk based KV store
  ☆1,344Updated last year
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 2 months ago
• tigerbeetle / tigerlings
  Learn TigerBeetle by fixing tiny broken scripts!
  ☆153Updated 9 months ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆14Updated 2 years ago
• uds-psl / Prog
  ☆90Updated 3 years ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆493Updated last week
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆116Updated last year