Céu:

"Structured Synchronous Reactive Programming"

(safe and deterministic concurrency with side effects)


This is what Céu looks like:

input int KEY;
par/or do
    every 1s do
        _printf("Hello World!\n");
    end
with
    await KEY;
end
(Prints the "Hello World!" message every second, terminating on a key press.)

Features

Céu supports synchronous concurrency with shared memory and deterministic execution. Céu has a small memory footprint and integrates seamlessly with C.

Docs

The online interactive tutorial presents a comprehensive step-by-step introduction to Céu.
Visit also the Céupédia, the home for the docs.

Download

Céu-in-a-Box is a Linux-based virtual machine pre-installed with Céu for Arduino, TinyOS, and SDL.
Visit also the Céu repository on GitHub.