Spanda
Spanda Documentation
Spanda is an Autonomous Systems Platform with a safety-first programming language at its core.
The .sd language, verification engine, simulation, replay, health framework, fleet tooling, and
package registry ship as one lean-core, package-first toolchain.
Pronounced SPUN-duh (/ˈspʌndə/) — Sanskrit for the divine pulse. Philosophy and etymology: Philosophy.
Platform overview: Platform overview
Quick links
| Topic | Guide |
|---|---|
| Platform components | Platform Overview |
| Install & first program | Getting Started |
| Language syntax | Language Guide |
| Safety & verification | Architecture |
| Hardware profiles | Hardware Compatibility |
| Capabilities & traceability | Capability Traceability |
| Health monitoring | Health Checks |
| Mission continuity | Mission Continuity |
| Tests | Test Plan |
Build locally:
python3 scripts/sync_mdbook_sources.py
mdbook build docs-site
mdbook serve docs-site
Or from npm (when configured):
npm run docs:build