Releases

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

Lock file (deflacre) types, BLAKE3 content + closure hashing for the caixa tatara-lisp package system.

Span-aware Lisp AST for the caixa ecosystem — shared by caixa-fmt, caixa-lint, caixa-lsp. Compatible with tatara-lisp's Sexp.

A high-performance, cross-platform JVM monitoring library (similar to jstat) in Rust.

ClosedSet — the typed witness for the closed-set-enum idiom (ALL + label + parse_label + typed parse-rejection carrier)

Pure Rust cryptography facade for the OxiCrypto stack (hashes, AEADs, MACs, signatures, KEX, KDFs, CSPRNG)

Vim-modal forms for hjkl-based apps.

Source-URL resolver for tatara-lisp scripts. Parses Nix-flake-style URLs (github:owner/repo/path?ref=tag, gitlab:..., codeberg:..., file://, https://#blake3=...) and fetches their bytes with content-addressed BLAKE3 caching.

Generate tatara-lisp domain crates from typed inputs (K8s CRDs, OpenAPI 3.0 schemas, hand-authored TOML). Each output crate ships #[derive(TataraDomain)] structs + a register() function that exposes the schema as Lisp keyword forms.

Post-quantum cryptography for OxiCrypto: ML-KEM (FIPS 203) + ML-DSA (FIPS 204)

Ratatui/crossterm driver for hjkl-vim — wires crossterm KeyEvents through the FSM.

物差し — the measuring stick. One lisp-agnostic strictness reading: a rung on a consumer-supplied ladder, plus the factors that put a program there, each carrying located evidence or a STATED blind spot.

#[derive(TataraDomain)] — auto-generate a Lisp compiler from a Rust struct's fields

Vim modal state types and grammar primitives for the hjkl editor stack. Pre-1.0 churn.

#[derive(ClosedSet)] — emit the tatara-closed-set ClosedSet impl, its FromStr delegation, and its typed parse-rejection carrier

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

OxiCrypto adapter for aws-lc-rs: FIPS-validated AEAD, signatures, and hashes

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

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

Command-line wrapper for read-only Internet Computer metadata queries

Queued EXecutor — a resource-aware local job queue for long-running tasks

Front-door for the hjkl modal editor stack: vim engine + rope buffer + registers, in one crate.

Backend-agnostic modal keymap: chord parsing, trie dispatch, leader/chord resolution for the hjkl editor stack

Ratatui adapters for hjkl-engine — Style conversion + Editor extension methods for ratatui-flavoured input.

Vim FSM, motion grammar, and ex commands. Pre-1.0 churn.

Shared TOML config loader for hjkl-based apps — XDG path resolution, span-aware parse errors, optional validation hook.

Vim vocabulary types for the hjkl editor

Language directory and grammar request types for the hjkl editor stack: GrammarRequest, LanguageDirectory.

Completion popup data model for the hjkl editor stack: Completion, CompletionItem, CompletionKind, and LSP conversion helpers.

Cross-platform clipboard library with rich types, async support, and OSC 52 fallback for SSH