🦑 Informal definitions of terms used in concurrency modeling
☆331Jun 1, 2020Updated 6 years ago
Alternatives and similar repositories for concurrency-glossary
Users that are interested in concurrency-glossary are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆3,427Feb 9, 2021Updated 5 years ago
- Thoughts on Go performance optimization☆10,892Jan 5, 2022Updated 4 years ago
- A short description of the C++ build process☆1,204Jun 17, 2025Updated last year
- Machine Learning Environment - alpha version☆339Feb 16, 2019Updated 7 years ago
- Queueing theory: an introduction for software development☆2,247Jun 7, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Class materials for a distributed systems lecture series☆10,392Mar 18, 2025Updated last year
- Blb is a distributed object storage system designed for use on bare metal in cluster computing environments.☆629Oct 11, 2023Updated 3 years ago
- Jargon from the functional programming world in simple terms!☆18,743Oct 4, 2026Updated 3 weeks ago
- Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.☆549May 13, 2020Updated 6 years ago
- A program logic for concurrent randomized programs☆18Nov 9, 2018Updated 7 years ago
- Learn how computers work by simulating them in Javascript☆855Apr 5, 2019Updated 7 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated this week
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- A distributed knowledge graph store☆1,654Jul 18, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Growing the code out of your notebooks - the right way.☆530Nov 6, 2022Updated 3 years ago
- From finding text to search and replace, from sorting to beautifying text and more☆10,174Jun 5, 2024Updated 2 years ago
- Composable data visualisation library for web with a data-first approach now powered by WebAssembly☆1,183Jul 31, 2020Updated 6 years ago
- Fuzz Testing for the github.com/hashicorp/raft library☆30May 11, 2026Updated 5 months ago
- Denotational semantics based on graph and filter models☆25Updated this week
- Resilience engineering papers☆3,077Updated this week
- TLA+ specification of the Kafka replication protocol☆89Jan 2, 2020Updated 6 years ago
- A framework for distributed systems verification, with fault injection☆7,551Updated this week
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Oct 2, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Curated list of awesome resources on Compilers, Interpreters and Runtimes☆9,954May 26, 2024Updated 2 years ago
- A first-order concurrent automated theorem prover☆25Mar 25, 2026Updated 7 months ago
- A full-text search engine in rust☆4,253Jun 28, 2026Updated 4 months ago
- Awesome list for Paxos and friends☆2,152May 29, 2024Updated 2 years ago
- Compilation of public failure/horror stories related to Kubernetes☆6,226Aug 23, 2020Updated 6 years ago
- A finite-state machine library for the Go programming language☆14Sep 18, 2018Updated 8 years ago
- Your Swiss Army Knife for Protocol Buffers☆5,033Mar 1, 2022Updated 4 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆16Sep 4, 2024Updated 2 years ago
- Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺☆5,829Jun 3, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A General Theory of Reactivity☆3,064Dec 4, 2017Updated 8 years ago
- An up-to-date (unofficial) knowledge base for Go programming self learning☆6,051Oct 16, 2026Updated 2 weeks ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆55Jan 23, 2023Updated 3 years ago
- 📙 Amazon Web Services — a practical guide☆36,457Aug 16, 2024Updated 2 years ago
- ⚙️ A Gentle introduction to Kubernetes with more than just the basics. 🌟 Give it a star if you like it.☆3,226Feb 28, 2023Updated 3 years ago
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,706Jul 10, 2026Updated 3 months ago
- ☆26Jun 6, 2022Updated 4 years ago