slikts / concurrency-glossaryLinks
🦑 Informal definitions of terms used in concurrency modeling
☆333Updated 5 years ago
Alternatives and similar repositories for concurrency-glossary
Users that are interested in concurrency-glossary are comparing it to the libraries listed below
Sorting:
- A curated list of high-quality codebases to read and study. Read more code!☆382Updated 7 years ago
- A simple SQL database☆69Updated last year
- ✨ A curated list of useful resources for computer language engineering and theory☆267Updated 7 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆501Updated last year
- Jari's collection of interesting papers.☆496Updated 2 months ago
- A Distributed Systems Reading List☆186Updated 5 years ago
- Fundamental algorithms☆93Updated 6 years ago
- A list of non-tech books crowdsourced by the Hacker News community.☆179Updated 9 years ago
- An alternative to REST and GraphQL☆382Updated 2 years ago
- Queueing theory: an introduction for software development☆2,182Updated 9 months ago
- website for CMU 17-313☆48Updated this week
- ☆356Updated 7 years ago
- ☆400Updated 15 years ago
- What/Why people move from this to that.☆152Updated 4 years ago
- A graph of programming languages connected through compilers.☆176Updated 2 years ago
- Awesome list of distributed systems resources☆1,613Updated 5 months ago
- SICP Course☆229Updated 5 years ago
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆566Updated 6 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆485Updated 5 years ago
- An opinionated list of awesome videos related to IT / development topics, with a focus on training and gaining hands-on experience.☆120Updated 6 years ago
- ☆332Updated 6 years ago
- Classic Hacker News stories☆145Updated 6 years ago
- A curated collection of live-reloading / hot-reloading / watch-reloading tools for different languages and frameworks.☆439Updated 3 years ago
- Links to improve programing skill☆113Updated 7 months ago
- Utopian developer's manifesto☆333Updated 6 years ago
- Senior Engineer CheckList☆545Updated 4 years ago
- Systems and failure reading list☆202Updated 4 years ago
- learn awk by example☆744Updated 4 years ago
- Awesome list of distributed transactions☆732Updated 4 years ago
- ☆136Updated 6 years ago