Releases

GPROXY v3 protocol model: operation taxonomy, wire kinds, and the OperationSpec registry

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

Celox HDL Simulator

IDS APIs in Rust

Flux refinement-type bridge for Soroban smart contracts: attribute prelude, refined newtypes, and extern specs for soroban-sdk

N-API/WASI simulator handles and frontend adapter API for Celox

Construction helpers for extensible gproxy-protocol wire structs

The Noxid compiler command line: check, build, test, adapt, and the agent surface

General-purpose enhanced Lua runtime. Batteries-included scripting, automation, and web services.

Vendored flux-attrs (github.com/flux-rs/flux, MIT) — the Flux attribute proc-macros; erase to no-ops unless built under the flux driver

Pure-Rust StreamVByte: integer compression for u16/u32/u64 with SIMD decode (AVX2, SSSE3, NEON)

Vendored flux-rs (github.com/flux-rs/flux, MIT) — attrs re-export, assert/unreachable intrinsics, bitvec/defs macros

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.

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

Vendored flux-attrs-impl (github.com/flux-rs/flux, MIT) — implementation of the Flux attribute macros; source byte-identical to the upstream rev in COMPATIBILITY.md

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.

Terminal client and live relay for hosted pi-workflows state

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

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

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

A Genetic Programming framework for Neural Architecture Search in Rust

Veryl frontend adapter for Celox

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

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

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

Canonical formatter for tatara-lisp / caixa sources.

SystemVerilog frontend adapter for Celox

Nord palette + blackmatter style overlays for caixa diagnostics, formatter output, LSP semantic tokens, and nvim plugin colors.

Manifest types, layout invariants, and version contract for the caixa tatara-lisp package system.