Alternatives and similar repositories for async-await-literature:

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

• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆94Updated last month
• ivanyu / awesome-deterministic-simulation-testing
  A curated list of awesome deterministic simulation testing resources 😎
  ☆131Updated last week
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆214Updated this week
• LAC-Tech / interlog
  A local first persistent log
  ☆35Updated 4 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆208Updated 2 months ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆216Updated last year
• restatedev / examples
  Restate examples
  ☆90Updated last week
• eatonphil / btree-rs
  ☆21Updated last year
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆128Updated 3 weeks ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆198Updated 8 months ago
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆185Updated last year
• jamesward / easyracer
  A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
  ☆139Updated last week
• twitter / stitch
  ☆109Updated 5 months ago
• verse-lab / obatcher_ds
  ☆19Updated 8 months ago
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆207Updated 3 weeks ago
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆64Updated 3 weeks ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆114Updated 3 months ago
• grahamking / perf-ninja-rs
  Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…
  ☆229Updated last month
• penberg / hiisi
  Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.
  ☆106Updated 8 months ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆141Updated 10 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆117Updated last week
• enhancedformysql / tech-explorer-hub
  Create the best technical resources for developers to build a strong foundation for professional growth.
  ☆95Updated last week
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• eatonphil / otf
  A little Delta Lake/Iceberg inspired database implementation in Go
  ☆42Updated 7 months ago
• HigherOrderCO / HVM3
  HVM3
  ☆205Updated last week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last month
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆148Updated 11 months ago
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆72Updated 8 months ago
• vaibhawvipul / minimal-raft
  a minimalistic implementation of RAFT algorithm
  ☆25Updated last year
• jessfraz / advent-of-cuda
  Doing advent of code with CUDA and rust.
  ☆203Updated last year