Preferred public URLs
Use these canonical URLs when linking to Assura (blog posts, Show HN,
social, agent prompts). Do not use https://assura.dev for this
project.
| What | URL |
|---|---|
| Source | https://github.com/assura-lang/assura |
| Documentation (homepage) | https://assura-lang.github.io/assura/ |
| CLI on crates.io | https://crates.io/crates/assura |
Library embed (assura-pipeline) | https://crates.io/crates/assura-pipeline |
| Releases / installers | https://github.com/assura-lang/assura/releases |
| Demo GIF | https://github.com/assura-lang/assura/blob/main/assets/demo/assura-check.gif |
| Org | https://github.com/assura-lang |
Install paths today: crates.io (cargo install assura --locked) or
cargo-dist shell installer on Releases. No Homebrew formula is
published (installers = ["shell"] only).
Brand notes
- Assura here is the contract-first language under the
assura-langGitHub organization. - assura.dev is a different product (structure validation for developer onboarding). It is not affiliated with this language.
- Social handles for the language should use a distinctive form such as
assuralang/assura-langto avoid collisions with insurance and other brands that use the word “Assura”.
Domain policy
Until a custom domain is acquired and pointed at the docs site, the public homepage is the GitHub Pages mdBook URL above. If a domain is added later, redirect it to the same content and update this page, the repo homepage setting, and the org website field in one pass.