Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: communicating-sequential-processes
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.3 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 457 - Forks: 45
autonomy-and-verification/varanus
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
Language: Python - Size: 915 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 1
romanf-dev/magnesium-rs
Hardware-assisted asynchronous micro-RTOS in Rust
Language: Rust - Size: 32.2 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
hst/hst-cpp
An open-source refinement checker for CSP
Language: C++ - Size: 195 KB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
hst/hst-c
An open-source refinement checker for CSP
Language: C - Size: 1.36 MB - Last synced: 2 months ago - Pushed: over 7 years ago - Stars: 2 - Forks: 0
jfet97/csp
Communicating Sequential Processes in JavaScript
Language: TypeScript - Size: 1.46 MB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 33 - Forks: 0
romanf-dev/magnesium
Hardware-assisted asynchronous micro-RTOS
Language: C - Size: 196 KB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 6 - Forks: 0
tuberboy/csp
Communicating sequential processes
Language: C - Size: 8.79 KB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0
akarshippili/go-concurrency
examples, usecases of go concurrency
Language: Go - Size: 17.6 KB - Last synced: 4 months ago - Pushed: 7 months ago - Stars: 0 - 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: 1.63 MB - Last synced: 7 days ago - Pushed: 10 months ago - Stars: 2 - Forks: 0
akarshippili/order-manager
Language: Go - Size: 5.86 KB - Last synced: 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
aturanix/webcam-over-socket
Language: C++ - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
loyso/LuaCSP
Communicating Sequential Processes in Lua
Language: C - Size: 810 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 38 - Forks: 4
dydx/mucking-with-csp
Mucking around with @paybase/csp and @paybase/pool
Language: JavaScript - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 6 years 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: over 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1
lionell/parcs
Language agnostic PARCS implementation based on Docker Swarm
Language: Go - Size: 388 KB - Last synced: over 1 year ago - Pushed: about 4 years ago - Stars: 5 - 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: 9 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
cs224/dev-meetup-control-structures
Control Structures and Paradigms in Java on the JVM
Language: Java - Size: 683 KB - Last synced: over 1 year ago - Pushed: almost 7 years ago - Stars: 2 - Forks: 0