Aura is developed in the open under the MIT license.
Where to contribute
| Area | Path | Notes |
|---|---|---|
| Language / design | docs/rfc/ | Copy TEMPLATE.md; statuses are controlled |
| Compiler / CLI | crates/ | Rust workspace; tests via cargo test --workspace |
| Runtime | runtime/runtime.c | Linked into native builds |
| Std packages | std/ | io, assert, collections, … |
| Executable examples | corpus/ | Preferred proof for features |
| User docs | docs/guide/ | This site’s /docs content |
| Website | site/ | Vite + React; pnpm site:dev |
Design process
- RFC for non-trivial language or toolchain changes
- Corpus sample when behavior is user-visible
- Compiler / runtime implementation with tests
- User guide update when the feature is teachable
Read RFC-000 for principles. Use the RFC catalog and dependency graph to see how documents block each other.
Local checks
cargo test --workspace
# During iteration, test only the crate or test group being changed.
cargo test -p aura-sema
cargo test -p aura-codegen emit::tests
# Optional: cache generated C objects between repeated runs.
AURA_CC_WRAPPER=sccache cargo test -p aura-codegen
cargo run -p aura-cli -- check corpus/hello/main.aura
pnpm install # once, from repo root (site workspace package)
pnpm site:test
pnpm site:buildCI (.github/workflows/ci.yml) runs the same gates on every PR and push to main:
workspace tests, corpus check (excluding corpus/diag/), a few run/test smokes, plus site test + build.
Site production deploys via .github/workflows/deploy-site.yml to Cloudflare Pages (https://aura.pilotworks.dev). See site/README.md.
Communication
- Issues and PRs on GitHub
- Keep user docs in English; identifiers match code