slikts / concurrency-glossary
🦑 Informal definitions of terms used in concurrency modeling
☆327Updated 4 years ago
Alternatives and similar repositories for concurrency-glossary:
Users that are interested in concurrency-glossary are comparing it to the libraries listed below
- A curated list of high-quality codebases to read and study. Read more code!☆382Updated 6 years ago
- A Distributed Systems Reading List☆184Updated 4 years ago
- Repo with source code to go with lessons on learndb.net☆99Updated 3 years ago
- A simple SQL database☆69Updated 5 months ago
- An alternative to REST and GraphQL☆384Updated last year
- Jari's collection of interesting papers.☆490Updated this week
- ☆355Updated 6 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆492Updated 5 months ago
- ✨ A curated list of useful resources for computer language engineering and theory☆262Updated 6 years ago
- Fundamental algorithms☆93Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Luke Gorrie's blog☆564Updated 2 years ago
- Awesome list of distributed systems resources☆1,592Updated 4 years ago
- A graph of programming languages connected through compilers.☆174Updated last year
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆568Updated 5 years ago
- SICP Course☆227Updated 4 years ago
- Links to improve programing skill☆113Updated last month
- ☆333Updated 5 years ago
- An opinionated list of awesome videos related to IT / development topics, with a focus on training and gaining hands-on experience.☆120Updated 5 years ago
- Resources for learning and using recursion schemes.☆1,243Updated 11 months ago
- ☆136Updated 5 years ago
- A collection of research papers categorized by real-world systems that enact them☆213Updated 7 years ago
- Using Oya packs containing reusable boilerplate & scripts, you can bootstrap easy to work with, deployable projects☆152Updated last year
- 🧜♀️ RESTful rendering pipeline for generating sequence and UML diagrams using Mermaid for Markdown docs (Diagrams as a Service)☆915Updated 6 years ago
- measuring memory usage of popular webapps☆517Updated 6 years ago
- Classic Hacker News stories☆144Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- A Go-based static site generator that compiles brandur.org.☆503Updated last week
- Queueing theory: an introduction for software development☆2,151Updated last week
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago