An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.

Communicating Sequential Processes in Lua

Communicating Sequential Processes in JavaScript

Hardware-assisted asynchronous micro-RTOS

Language agnostic PARCS implementation based on Docker Swarm

Experimental, polyglot, work-in-progress stack VM implementations around native cooperative multitasking and CSP channels to communicate and syncrhonize between tasks.

Control Structures and Paradigms in Java on the JVM

An open-source refinement checker for CSP

A library for transIterators: unified 'operators' for javascript iterators (synchronous AND asynchronous iterators) - https://mrft.github.io/itr8/

Communicating sequential processes

Mucking around with @paybase/csp and @paybase/pool

Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework

examples, usecases of go concurrency

Hardware-assisted asynchronous micro-RTOS in Rust

A Runtime Verification toolchain that uses a CSP model as its oracle.

A RIOT OS Module for GO-like inspired CSP style programming. For more information, check out RIOT OS.

Super simple CSP channels for JavaScript (like Clojure core.async or Go channels)

Introduction into CSP based concurrency on the example of golang goroutines.