Sign in Sign up
cargo

tatara-render

Env → IaC-platform-shaped manifests. The RENDER phase (THEORY §IV.3) of the eight-phase convergence loop. Each `Backend` impl is a morphism from the typescape (typed Rust resources in `tatara-env::Env`) to a target's native shape (Kubernetes CR YAML, Helm template, Terraform JSON, Pangea Ruby DSL). Adding a backend inherits every existing proof — proofs attach to the typescape types, not to the rendering code (THEORY §III.2).

cargo View on Cargo github View on Github

Activity

Latest release
3w ago
Total releases
40
Cadence
~daily
Last 12 months
40

Reach

Downloads
644
Stars
0

Details

License
MIT
First release
May 23, 2026
Releases
Version Released
0.3.52 patch
0.3.51 patch
0.3.50 patch
0.3.49 patch
0.3.48 patch
0.3.47 patch
0.3.46 patch
0.3.44 patch
0.3.42 patch
0.3.41 patch
0.3.39 patch
0.3.27 patch
0.3.26 patch
0.3.25 patch
0.3.24 patch
0.3.23 patch
0.3.22 patch
0.3.21 patch
0.3.20 patch
0.3.19 patch
0.3.18 patch
0.3.17 patch
0.3.16 patch
0.3.15 patch
0.3.14 patch
0.3.13 patch
0.3.12 patch
0.3.11 patch
0.3.10 patch
0.3.9 patch
0.3.8 patch
0.3.7 patch
0.3.6 patch
0.3.5 patch
0.3.4 patch
0.3.3 minor
0.2.5 patch
0.2.4 patch
0.2.2 patch
0.2.1 initial