slikts / concurrency-glossaryLinks
🦑 Informal definitions of terms used in concurrency modeling
☆335Updated 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:
- Repo with source code to go with lessons on learndb.net☆99Updated 3 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆381Updated 7 years ago
- A simple SQL database☆69Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆495Updated last year
- ✨ A curated list of useful resources for computer language engineering and theory☆266Updated 7 years ago
- An alternative to REST and GraphQL☆383Updated 2 years ago
- Fundamental algorithms☆93Updated 6 years ago
- Jari's collection of interesting papers.☆496Updated this week
- Queueing theory: an introduction for software development☆2,179Updated 7 months ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 9 months ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- A simple HTTP server written from scratch as a teaching tool to teach Unix network program architectures☆389Updated 6 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
- SICP Course☆230Updated 5 years ago
- ☆101Updated 7 years ago
- website for CMU 17-313☆48Updated last week
- ☆355Updated 7 years ago
- A graph of programming languages connected through compilers.☆176Updated 2 years ago
- A Distributed Systems Reading List☆185Updated 4 years ago
- A TLA+ guide☆278Updated 3 years ago
- ☆136Updated 6 years ago
- CRDT Tutorial for Beginners (a digestible explanation with less math!)☆357Updated 3 years ago
- ☆332Updated 6 years ago
- 🧜♀️ RESTful rendering pipeline for generating sequence and UML diagrams using Mermaid for Markdown docs (Diagrams as a Service)☆912Updated 6 years ago
- A curated collection of live-reloading / hot-reloading / watch-reloading tools for different languages and frameworks.☆440Updated 2 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- learn awk by example☆742Updated 4 years ago
- Classic Hacker News stories☆144Updated 5 years ago
- Diploma thesis "Concurrent Programming for Scalable Web Architectures" released under Creative Commons license☆441Updated 6 years ago
- High Performance Browser Networking (O'Reilly)☆314Updated 3 years ago