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 😎
  ☆263Updated 5 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆263Updated this week
• verse-lab / obatcher_ds
  ☆20Updated last year
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆147Updated 7 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆92Updated 7 months ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆160Updated last year
• jamesward / easyracer
  A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
  ☆176Updated this week
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆741Updated 3 months ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆251Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆228Updated 8 months ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆162Updated last week
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆126Updated last year
• klapaucius / fphistoryru
  ☆48Updated this week
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆1,083Updated this week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆240Updated 3 months ago
• uds-psl / Prog
  ☆89Updated 3 years ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆129Updated 11 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 2 months ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆76Updated 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…
  ☆263Updated 2 weeks ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆141Updated 3 weeks ago
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆84Updated 3 weeks ago
• resonatehq / resonate
  Resonate Server - A CLI, Durable Promise store, and Task Framework
  ☆534Updated last week
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆493Updated last month
• avinassh / py-caskdb
  (educational) build your own disk based KV store
  ☆1,343Updated 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
• learn-decentralized-systems / Chotki
  An LSM database turned a CRDT database. Really fast counters!
  ☆16Updated 10 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆443Updated this week