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 useful resources for computer language engineering and theory☆266Updated 7 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆381Updated 7 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆497Updated last year
- A simple SQL database☆69Updated last year
- Jari's collection of interesting papers.☆496Updated 3 weeks ago
- SICP Course☆230Updated 5 years ago
- An alternative to REST and GraphQL☆383Updated 2 years ago
- A Distributed Systems Reading List☆186Updated 4 years ago
- Queueing theory: an introduction for software development☆2,180Updated 7 months ago
- website for CMU 17-313☆48Updated last week
- A simple HTTP server written from scratch as a teaching tool to teach Unix network program architectures☆392Updated 6 years ago
- Awesome list of distributed systems resources☆1,612Updated 4 months ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- An opinionated list of awesome videos related to IT / development topics, with a focus on training and gaining hands-on experience.☆119Updated 6 years ago
- A TLA+ guide☆278Updated 3 years ago
- Fundamental algorithms☆93Updated 6 years ago
- A collection of awesome articles that are relevant to software developers.☆86Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- A list of non-tech books crowdsourced by the Hacker News community.☆178Updated 9 years ago
- Most influential books on Computer Science/programming☆70Updated 3 years ago
- ☆332Updated 6 years ago
- ☆400Updated 15 years ago
- Links to improve programing skill☆113Updated 5 months ago
- Classic Hacker News stories☆145Updated 5 years ago
- Collection of Papers On Database Management Systems☆224Updated 9 years ago
- A curated collection of live-reloading / hot-reloading / watch-reloading tools for different languages and frameworks.☆440Updated 2 years ago
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆565Updated 6 years ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆167Updated 9 months ago
- A graph of programming languages connected through compilers.☆176Updated 2 years ago
- ☆136Updated 6 years ago