slikts / concurrency-glossaryLinks
🦑 Informal definitions of terms used in concurrency modeling
☆330Updated 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 useful resources for computer language engineering and theory☆263Updated 7 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆492Updated 7 months ago
- An alternative to REST and GraphQL☆384Updated last year
- A simple SQL database☆70Updated 6 months ago
- ☆333Updated 5 years ago
- Links to improve programing skill☆113Updated 2 months ago
- ☆355Updated 6 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆382Updated 6 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Updated 5 years ago
- A graph of programming languages connected through compilers.☆177Updated 2 years ago
- SICP Course☆228Updated 4 years ago
- A Distributed Systems Reading List☆184Updated 4 years ago
- Fundamental algorithms☆93Updated 6 years ago
- Awesome list of distributed transactions☆729Updated 3 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- The basics of low-level concurrency in a sub-30 minute read☆228Updated 4 years ago
- Jari's collection of interesting papers.☆492Updated 3 weeks ago
- Luke Gorrie's blog☆564Updated 2 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
- measuring memory usage of popular webapps☆517Updated 6 years ago
- Diploma thesis "Concurrent Programming for Scalable Web Architectures" released under Creative Commons license☆438Updated 6 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 4 years ago
- Awesome list of distributed systems resources☆1,595Updated 4 years ago
- Queueing theory: an introduction for software development☆2,160Updated last month
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Runs your tasks at maximum concurrency☆692Updated 6 years ago
- Most influential books on Computer Science/programming☆71Updated 2 years ago
- ☆3,427Updated 4 years ago