Movatterモバイル変換

Skip to content

#

communicating-sequential-processes

Here are 23 public repositories matching this topic...

Language:All

Filter by language

All23 C5 C++5 Go5 TypeScript3 JavaScript2 Java1 Python1 Rust1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

Stiffstream /sobjectizer

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.

csp actors cplusplus cpp actor-model thread concurrency multithreading pubsub actor concurrent-programming publish-subscribe agents communicating-sequential-processes message-passing actor-library cplusplus-17 actor-framework sobjectizer

UpdatedFeb 10, 2026
C++

go-actor

vladopajic /go-actor

A lightweight library for writing concurrent programs in Go using the Actor model.

go golang csp high-performance actor-model concurrency actor concurrent-programming goroutine goroutines communicating-sequential-processes go-channel go-concurrency go-actor goroutines-channels

UpdatedFeb 16, 2026
Go

loyso /LuaCSP

Communicating Sequential Processes in Lua

programming-language gamedev fsms fsm lua-library lua coroutines game-development game-logic asynchronous-programming yield lua-bindings communicating-sequential-processes game-ai game-script

UpdatedAug 6, 2022
C

jfet97 /csp

Communicating Sequential Processes in JavaScript

csp async asynchronous await communicating-sequential-processes

UpdatedMar 22, 2019
TypeScript

romanf-dev /magnesium

Hardware-assisted asynchronous micro-RTOS

c csp real-time embedded kernel cortex-m actor-model header-only multitasking interrupts communicating-sequential-processes message-passing preemptive-multitasking

UpdatedJan 30, 2026
C

lionell /parcs

Language agnostic PARCS implementation based on Docker Swarm

docker-swarm distributed-computing communicating-sequential-processes language-agnostic

UpdatedMay 22, 2020
Go

thi-ng /cspvm

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

csp vm typescript virtual-machine zig wasm communicating-sequential-processes cooperative-multitasking

UpdatedNov 7, 2024
TypeScript

romanf-dev /magnesium-cpp

Experimental C++ version of the magnesium framework

csp real-time kernel cortex-m coroutines actor-model interrupts communicating-sequential-processes message-passing cpp20 preemptive-multitasking

UpdatedAug 23, 2025
C++

cs224 /dev-meetup-control-structures

Control Structures and Paradigms in Java on the JVM

java actors jvm coroutines fibers reactive-extensions functional-reactive-programming event-driven-programming complex-event-processing flow-based-programming continuation-passing-style quasar generators communicating-sequential-processes continuations green-threads clojure-core-async cooperative-multitasking thread-based-programming parallel-universe

UpdatedJul 29, 2017
Java

hst /hst-c

An open-source refinement checker for CSP

csp formal-methods process-calculus communicating-sequential-processes

UpdatedFeb 15, 2017
C

mrft /itr8

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

javascript csp typescript functional-programming iterator javascript-library typescript-library transducers communicating-sequential-processes asynciterator transiterator

UpdatedOct 24, 2025
TypeScript

tuberboy /csp

Communicating sequential processes

csp multithreading communicating-sequential-processes parrallel csp-model 10x-faster

UpdatedJan 25, 2024
C

Stiffstream /so5-dining-philosophers

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

cplusplus concurrency cplusplus-14 communicating-sequential-processes sobjectizer

UpdatedNov 26, 2025
C++

dydx /mucking-with-csp

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

javascript communicating-sequential-processes

UpdatedMar 31, 2018
JavaScript

mtumilowicz /go-concurrency-goroutine-workshop

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

go golang csp workshop goroutine workshop-materials goroutines communicating-sequential-processes goroutine-safe golang-examples goroutine-pool golang-go

UpdatedOct 21, 2024
Go

akarshippili /order-manager

concurrency channels goroutines communicating-sequential-processes waitgroup

UpdatedMay 19, 2023
Go

JayLCypher /RIOT-CSP-MODULE

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

c golang csp embedded module rtos communicating-sequential-processes riot-os c23

UpdatedOct 21, 2024
C

akarshippili /go-concurrency

examples, usecases of go concurrency

csp channels heap goroutines communicating-sequential-processes loadbalancer go-concurrency

UpdatedOct 25, 2023
Go

autonomy-and-verification /varanus

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

communicating-sequential-processes runtime-verification runtime-monitoring

UpdatedJan 31, 2026
Python

hst /hst-cpp

An open-source refinement checker for CSP

csp formal-methods process-calculus communicating-sequential-processes

UpdatedMar 27, 2017
C++

Improve this page

Add a description, image, and links to thecommunicating-sequential-processes topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thecommunicating-sequential-processes topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2026 Movatter.jp