Docs.rs

A Gui for Cargo with support for vexide

Rendering features for tinymist.

Core library for Prayfile, the package manager for the language placed before inference

Reasoning layer for caixa — walks TeiaManifest through iac-forge's policy engine to prove invariants BEFORE any cloud API call.

caixa-tatara — typed renderer that emits a tatara Process CR with Intent::Aplicacao + Lifetime::Ephemeral from an :kind Aplicacao caixa. Bridges caixa-helm's chart output to tatara-reconciler's ephemeral envelope.

Kubernetes CRD wire formats for the caixa ecosystem — Caixa, Lacre, CaixaBuild.

feira — CLI for the caixa tatara-lisp package system (init, add, lock, build, nix).

Language queries for tinymist.

Automatically generates Rust FFI bindings to C and C++ libraries.

Automatically generates Rust FFI bindings to C and C++ libraries.

caixa-actions — typed renderer that validates a Caixa's :kind Acao :ci slot (a canteiro_types::CiRun) by decomposing it into a shigoto DAG. M0 is validate-only; full GitHub Actions workflow emission (emit_gha) is a named next step, deliberately deferred (see crate docs).

caixa-mesh — typed renderer that emits cluster mesh primitives (programs.yaml fan-out, Cilium NetworkPolicies, Gateway/HTTPRoute) from an Aplicacao manifest.

caixa-helm — typed renderer that emits a per-program lareira-* Helm chart from a Caixa manifest. Mirrors the helmworks/charts/lareira-<name> shape (Chart.yaml + values.yaml depending on the pleme-computeunit library chart).

Kubernetes operator for Caixa / Lacre / CaixaBuild CRDs — kube-rs reconciler.

caixa-flux — typed renderer that emits FluxCD GitOps fragments from a Caixa manifest. Aggregator path: a single entry for the cluster's programs.yaml (consumed by lareira-fleet-programs). Cluster-bundle path: GitRepository + HelmRelease + Kustomization for one-time per-cluster wiring.