Alternatives and similar repositories for async-await-literature

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

• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆273Updated last week
• ivanyu / awesome-deterministic-simulation-testing
  A curated list of awesome deterministic simulation testing resources 😎
  ☆286Updated 7 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆149Updated 9 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆92Updated 9 months ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆256Updated last year
• verse-lab / obatcher_ds
  ☆20Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆235Updated 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…
  ☆296Updated this week
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆182Updated last month
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆247Updated 5 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 4 months ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆163Updated last year
• djiangtw / data-structures-in-practice-public
  A hardware-aware guide to data structures for system software engineers.
  ☆1,232Updated last month
• jamesward / easyracer
  A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
  ☆179Updated last week
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆93Updated 2 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆1,170Updated 5 months ago
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆118Updated last year
• resonatehq / resonate
  Distributed Async Await — Durable Executions, Dead Simple
  ☆557Updated last week
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆86Updated 11 months ago
• janestreet / bonsai_term
  A library for building dynamic terminal apps, using bonsai
  ☆129Updated last week
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆228Updated last year
• uds-psl / Prog
  ☆90Updated 3 years ago
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆1,122Updated this week
• basilysf1709 / distributed-systems
  Comprehensive guide, algorithms and tools on distributed systems
  ☆230Updated 5 months ago
• enhancedformysql / tech-explorer-hub
  Create the best technical resources for developers to build a strong foundation for professional growth.
  ☆98Updated 8 months ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆123Updated last year
• manjunath5496 / Supertech-Papers
  "The gift of mental power comes from God, Divine Being, and if we concentrate our minds on that truth, we become in tune with this great …
  ☆88Updated 5 years ago
• tidwall / bgen
  B-tree generator for C
  ☆145Updated 2 months ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆453Updated last week