Demos & Examples

Repository examples as evidence of integration, with explicit limits on what each example proves.

Aura’s examples are useful because they show which vertical slices have actually been assembled.

Verification

examples/verification/verify_features.aura exercises contracts, invariants, decreases and quantifier syntax.

Resource / move safety

examples/aura-move/ exercises move/resource-oriented language work.

Networking

examples/tcp_echo_server.aura provides a compact networking-facing example.

IoT and vision

examples/aura-iot-safe/ and examples/aura-vision-safe/ exercise domain integrations and native/plugin directions.

Lumina

examples/grid_image_audio.aura demonstrates an evolving application slice with grid/layout, Box/Button and media-oriented work.

How to read examples

The existence of an example means the repository contains an integration path. It does not by itself establish:

• stable 1.0 language semantics,
• universal backend parity,
• complete domain-framework support,
• production readiness on every platform,
• formal verification of every foreign/native dependency.