Docs.rs

Solana non-upgradable BPF loader v2 instructions.

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

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).

flake.lisp — tatara-lisp expression of a Nix flake, with transpile-to-flake.nix for full Nix ecosystem interop.

TeiaManifest → iac-forge IR → HCL/JSON. The Lisp sibling of Pangea's `.build(synth, config)` path — typed all the way down.

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.

iac-forge Backend that emits ferrite-typed Go OpenTofu provider source — GC-free generated providers from OpenAPI / IacResource specs.

iac-forge Backend that emits tatara-lisp caixas from IacResource — the Lisp-native peer of pangea-forge.

Tatara-lisp abstract synthesizer — weaves (defteia) forms into iac_forge::IacResource. The Lisp-native sibling of Ruby's Pangea.

Git-only dependency resolver for caixas — clone, content-hash, transitive walk. Zig-style: no central registry.

Contract-first Rust SDK for the DEPZ USB sensor line (SR04, VL53L4CD ToF, VL53L8CX/CH ToF, BNO086 IMU) — transport, protocol codecs, and sensor decode.

Linter for tatara-lisp / caixa sources — rule engine + Ruby+Rust best-practice rulebook.

Canonical formatter for tatara-lisp / caixa sources.

Language Server for tatara-lisp / caixa — diagnostics via caixa-lint, formatting via caixa-fmt, hover + goto-def + document-symbol.