resonatehq / async-await-literatureLinks
Papers informing the design and development of Distributed Async Await
β81Updated 6 months ago
Alternatives and similar repositories for async-await-literature
Users that are interested in async-await-literature are comparing it to the libraries listed below
Sorting:
- A curated list of awesome deterministic simulation testing resources πβ240Updated 3 months ago
- β20Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applicationsβ251Updated 2 weeks ago
- Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc.β244Updated last year
- A curated list of TLA+ resources.β157Updated last year
- Code and materials for my book "Pragmatic Type Level Design"β145Updated 5 months ago
- Learn TLA+ for free! No prior experience necessary!β223Updated 6 months ago
- Patterns and resources of low latency programming.β708Updated last month
- Durable Promise Specificationβ93Updated 5 months ago
- Reader feedback on the early release of Designing Data-Intensive Applications, second editionβ115Updated last year
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)β1,050Updated this week
- Create the best technical resources for developers to build a strong foundation for professional growth.β97Updated 4 months ago
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotrβ¦β241Updated last month
- β86Updated 3 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesβ123Updated 9 months ago
- β¨ Programming Language Research, Applied PLT & Compilersβ943Updated 10 months ago
- A book about category theoryβ423Updated 2 weeks ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020β73Updated last week
- My chapter-wise notes for Database Internals by Alex Petrov.β487Updated last year
- Resonate Server - A CLI, Durable Promise store, and Task Frameworkβ518Updated last week
- "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 4 years ago
- (educational) build your own disk based KV storeβ1,336Updated last year
- A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrencyβ162Updated this week
- The Dao of Functional Programmingβ480Updated last month
- Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuterβ38Updated last year
- π CCL: Categorical Configuration Language, The most elegant configuration languageβ236Updated last month
- Interactive playground for exploring and sharing TLA+ specifications in the browser.β140Updated this week
- A local first persistent logβ36Updated last week
- Comprehensive guide, algorithms and tools on distributed systemsβ225Updated last month
- B-tree generator for Cβ142Updated 4 months ago