slikts / concurrency-glossary
🦑 Informal definitions of terms used in concurrency modeling
☆326Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for concurrency-glossary
- ✨ A curated list of useful resources for computer language engineering and theory☆257Updated 6 years ago
- A simple SQL database☆68Updated 3 years ago
- An alternative to REST and GraphQL☆382Updated last year
- Repo with source code to go with lessons on learndb.net☆100Updated 2 years ago
- Fundamental algorithms☆93Updated 5 years ago
- ☆512Updated 7 months ago
- A Distributed Systems Reading List☆175Updated 3 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆378Updated 6 years ago
- Collection of products/projects and the stories of how they got their name☆468Updated last year
- ☆334Updated 5 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆487Updated last week
- ☆355Updated 6 years ago
- Queueing theory: an introduction for software development☆2,135Updated last year
- ☆136Updated 5 years ago
- A graph of programming languages connected through compilers.☆175Updated last year
- learn awk by example☆739Updated 3 years ago
- SICP Course☆223Updated 4 years ago
- High Performance Browser Networking (O'Reilly)☆299Updated 2 years ago
- Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations☆307Updated last year
- Diploma thesis "Concurrent Programming for Scalable Web Architectures" released under Creative Commons license☆436Updated 5 years ago
- Collection of Papers On Database Management Systems☆214Updated 8 years ago
- website for CMU 17-313☆45Updated this week
- Awesome list of distributed transactions☆724Updated 3 years ago
- Senior Engineer CheckList☆540Updated 3 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆488Updated 3 years ago
- A simple HTTP server written from scratch as a teaching tool to teach Unix network program architectures☆370Updated 5 years ago
- 🧜♀️ RESTful rendering pipeline for generating sequence and UML diagrams using Mermaid for Markdown docs (Diagrams as a Service)☆916Updated 5 years ago