resonatehq / async-await-literatureLinks
Papers informing the design and development of Distributed Async Await
☆79Updated 5 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:
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆240Updated 11 months ago
- Patterns and resources of low latency programming.☆689Updated last week
- ☆19Updated 11 months ago
- Code and materials for my book "Pragmatic Type Level Design"☆143Updated 3 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆242Updated 2 weeks ago
- A curated list of awesome deterministic simulation testing resources 😎☆201Updated last month
- Durable Promise Specification☆93Updated 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…☆223Updated 2 months ago
- A curated list of TLA+ resources.☆149Updated last year
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆969Updated last week
- My chapter-wise notes for Database Internals by Alex Petrov.☆468Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆119Updated 7 months ago
- Learn TLA+ for free! No prior experience necessary!☆219Updated 4 months ago
- TLA+ specifications for Kafka related algorithms☆69Updated 6 months ago
- A book about category theory☆420Updated this week
- Create the best technical resources for developers to build a strong foundation for professional growth.☆98Updated 2 months ago
- Another minimal Raft implementation in Rust.☆184Updated last year
- A local first persistent log☆36Updated last month
- A distributed thread-per-core document database☆530Updated last year
- ✨ Programming Language Research, Applied PLT & Compilers☆937Updated 9 months ago
- A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency☆158Updated this week
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆230Updated last week
- Comprehensive guide, algorithms and tools on distributed systems☆221Updated 5 months ago
- "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
- A curated list of awesome DBOS resources 😎☆67Updated 3 months ago
- Resonate Server - A CLI, Durable Promise store, and Task Framework☆504Updated this week
- ☆85Updated 3 years ago
- Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter☆38Updated last year
- (educational) build your own disk based KV store☆1,320Updated last year
- Reader feedback on the early release of Designing Data-Intensive Applications, second edition☆96Updated 11 months ago