Progressive Spanda examples from a minimal robot to full deployment workflows.
Examples hub: examples/README.md · Guided tutorials: Tutorials index · Spanda for Dummies · Spanda 101
basics/)| # | File | Topics |
|---|---|---|
| 01 | 01_minimal_robot.sd | robot, actuator, behavior |
| 02 | 02_sensors_and_safety.sd | Sensors, safety { }, stop_if |
| 03 | 03_control_flow.sd | if/else, match, loop every |
| 04 | 04_result_and_option.sd | Result<T,E>, Option<T>, match Ok/Err/Some/None |
| 05 | 05_traits_and_impl.sd | trait, agent, impl Trait for Agent |
| 06 | 06_serialize_telemetry.sd | serialize / deserialize for IPC |
| 07 | 07_in_language_tests.sd | test "..." { assert(...) } — run with spanda test |
| 08 | 08_async_await.sd | async fn, await in behaviors |
| 09 | 09_behavior_contracts.sd | requires / ensures on behaviors |
| 10 | 10_state_machine.sd | state_machine, enter StateName |
| 11 | 11_observe_and_fusion.sd | observe { }, fusion.read() |
| 12 | 12_compile_fail_tests.sd | expect_compile_error { } — run with spanda test |
Try each file:
spanda check examples/basics/01_minimal_robot.sd
spanda run examples/basics/02_sensors_and_safety.sd
spanda test examples/basics/07_in_language_tests.sd
integration/)| File | Topics |
|---|---|
| triggers_minimal.sd | Event triggers + periodic task |
| concurrency_minimal.sd | channel, spawn, select |
| debugger_every.sd | DAP entry into every trigger bodies |
| verify_walkthrough.sd | hardware, deploy, verify { } |
end_to_end/)See end_to_end/README.md for the full catalog.
| Path | Topics |
|---|---|
| safe_patrol/ | AI safety gate + deploy package |
| warehouse_delivery/ | Zones, services, state machine, verify |
| pick_and_place_cell/ | Vision agent + arm/gripper cell |
| fleet_coordination.sd | Multi-robot fleet + network reqs |
| incident_response.sd | Twin, recovery, degraded modes |
| realtime_patrol.sd | Deadlines, pipeline, watchdog |
| replay_mission.sd | Record → replay with twin |
| Directory | Focus |
|---|---|
showcase/ |
Curated v0.1.0-alpha demos |
realtime/ |
Deadlines, watchdogs, degraded modes |
regex/ |
Pattern triggers and validation |
communication/ |
Topics, services, fleet |
hardware/ |
Deploy, capabilities, health — README |
iot/ |
IoT package dispatch — README |
modules/ |
Cross-file imports |
types/ |
Type-system snippets |
std/ |
Standard library samples |
packages/ |
Package manifest layouts — README |
Next step after basics: Spanda for Dummies, Spanda 101, getting-started.md, and showcase/killer_demo.sd.