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.

Language: C++ - Size: 14.4 MB - Last synced at: 24 days ago - Pushed at: 27 days ago - Stars: 533 - Forks: 50

vladopajic/go-actor

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

Language: Go - Size: 288 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 225 - Forks: 15

loyso/LuaCSP

Communicating Sequential Processes in Lua

Language: C - Size: 810 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 38 - Forks: 4

jfet97/csp

Communicating Sequential Processes in JavaScript

Language: TypeScript - Size: 1.46 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 33 - Forks: 0

romanf-dev/magnesium

Hardware-assisted asynchronous micro-RTOS

Language: C - Size: 582 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 1

lionell/parcs

Language agnostic PARCS implementation based on Docker Swarm

Language: Go - Size: 388 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

mrft/itr8

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

Language: TypeScript - Size: 3.22 MB - Last synced at: 7 days ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

cs224/dev-meetup-control-structures

Control Structures and Paradigms in Java on the JVM

Language: Java - Size: 683 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

hst/hst-c

An open-source refinement checker for CSP

Language: C - Size: 1.36 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

tuberboy/csp

Communicating sequential processes

Language: C - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Stiffstream/so5-dining-philosophers

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

Language: C++ - Size: 53.7 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

dydx/mucking-with-csp

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

Language: JavaScript - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

romanf-dev/magnesium-rs

Hardware-assisted asynchronous micro-RTOS in Rust

Language: Rust - Size: 52.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

autonomy-and-verification/varanus

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

Language: Python - Size: 1.5 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 1

mtumilowicz/go-concurrency-goroutine-workshop

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

Language: Go - Size: 42 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

JayLCypher/RIOT-CSP-MODULE

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

Language: C - Size: 59.6 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

akarshippili/go-concurrency

examples, usecases of go concurrency

Language: Go - Size: 17.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

akarshippili/order-manager

Language: Go - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

aturanix/webcam-over-socket

Language: C++ - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

limitedeternity/channel4 Fork of danielepolencic/channel4

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

Language: JavaScript - Size: 81.1 KB - Last synced at: 13 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

hst/hst-cpp

An open-source refinement checker for CSP

Language: C++ - Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0