slikts / concurrency-glossaryLinks
🦑 Informal definitions of terms used in concurrency modeling
☆331Updated 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 simple SQL database☆70Updated 7 months ago
- ✨ A curated list of useful resources for computer language engineering and theory☆263Updated 7 years ago
- A Distributed Systems Reading List☆184Updated 4 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆382Updated 6 years ago
- An opinionated list of awesome videos related to IT / development topics, with a focus on training and gaining hands-on experience.☆118Updated 6 years ago
- Repo with source code to go with lessons on learndb.net☆99Updated 3 years ago
- An alternative to REST and GraphQL☆384Updated last year
- SICP Course☆228Updated 4 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 7 months ago
- Awesome list of distributed transactions☆730Updated 3 years ago
- Systems and failure reading list☆196Updated 3 years ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 4 months ago
- Classic Hacker News stories☆144Updated 5 years ago
- Most influential books on Computer Science/programming☆71Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- A graph of programming languages connected through compilers.☆177Updated 2 years ago
- Diploma thesis "Concurrent Programming for Scalable Web Architectures" released under Creative Commons license☆438Updated 6 years ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆308Updated 3 months ago
- Links to improve programing skill☆113Updated 2 weeks ago
- ☆136Updated 6 years ago
- Queueing theory: an introduction for software development☆2,161Updated 2 months ago
- A TLA+ guide☆278Updated 2 years ago
- Awesome list of distributed systems resources☆1,597Updated 4 years ago
- Fundamental algorithms☆93Updated 6 years ago
- ☆333Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- measuring memory usage of popular webapps☆517Updated 6 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 4 years ago
- A simple HTTP server written from scratch as a teaching tool to teach Unix network program architectures☆382Updated 6 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago