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 😎
  ☆175Updated 3 weeks ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆94Updated 3 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆232Updated 2 weeks ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆140Updated 3 months ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆147Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆215Updated 4 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 3 weeks ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆116Updated 6 months ago
• uds-psl / Prog
  ☆85Updated 3 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆206Updated 10 months ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆218Updated last year
• databass-book-club / transaction_processing
  Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter
  ☆38Updated last year
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆221Updated last month
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆184Updated last year
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆67Updated 3 months ago
• enhancedformysql / tech-explorer-hub
  Create the best technical resources for developers to build a strong foundation for professional growth.
  ☆98Updated 2 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆69Updated 5 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆131Updated 2 weeks ago
• jamesward / easyracer
  A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
  ☆156Updated this week
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆418Updated this week
• utah-cs4470-sp23 / class
  All course materials for CS 4470 (Spring 2023)
  ☆26Updated last year
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆581Updated 11 months ago
• louiseGrandjonc / pageinspect_inspector
  A little tool to display your postgres BTree indexes in an html using pageinspect data
  ☆66Updated last year
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆89Updated 10 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆225Updated 4 months ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 11 months ago
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆112Updated 11 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• vaibhawvipul / minimal-raft
  a minimalistic implementation of RAFT algorithm
  ☆25Updated last year
• tidwall / bgen
  B-tree generator for C
  ☆138Updated 2 months ago