A strongly typed infrastructure management tool, written in Rust.

Carina treats side effects as values. Your configuration is parsed and validated against provider schemas, turned into a plan of effects you can inspect, and only then applied. Nothing touches the cloud until you say so.

• Typed DSL — .crn files are checked against provider schemas at validate time, so typos, wrong enum values, and type mismatches fail before any API call.
• Effects as values — plan produces a list of create / update / replace / delete effects that you review before apply.
• Directory-scoped configurations — every .crn file in a directory is one configuration; modules are directories with typed arguments and outputs.
• WebAssembly providers — providers are sandboxed WASM components loaded by the host, with explicit network egress and host-resolved credentials.
• Editor support — a language server with completion, diagnostics, and hover, plus VS Code and TextMate grammars.
• Familiar workflow — init, validate, plan, apply, destroy, with remote state and locking.

provider aws {
  source   = 'github.com/carina-rs/carina-provider-aws'
  revision = 'main'
  region   = aws.Region.ap_northeast_1
}

let main_vpc = aws.ec2.Vpc {
  cidr_block = '10.0.0.0/16'
}

aws.ec2.SecurityGroup {
  group_name  = 'web-sg'
  description = 'Web server security group'
  vpc_id      = main_vpc.vpc_id
}

$ carina init && carina plan

Core

Providers

Distribution and docs

• Documentation
• Installation