Releases

The Apple GPU backend for kime, on Metal with indirect command buffers.

CLI for provable-contracts — validate, scaffold, verify, status, audit

WASM-first visualization and rapid application framework

Testing harness for Presentar applications

Terminal backend for Presentar UI framework with zero-allocation rendering

100% test coverage calculator showcase demonstrating Probar TUI + WASM testing

CLI for Presentar WASM apps - serve and bundle

Proc macros for Presentar testing framework

Typed VM definitions — Darwin-hosted Linux guests for tatara-os, authored in tatara-lisp, emitted as vfkit/qemu config

Widget implementations for Presentar UI framework

Proc-macro crate for Probar type-safe ECS selectors (Poka-Yoke)

YAML manifest parser for Presentar UI framework

Layout engine for Presentar UI framework

Core types and traits for Presentar UI framework

The Apple Neural Engine backend for kime, through Core ML with fixed shape buckets.

Guest runtime orchestrator — 'hospedeiro' = 'host' in Portuguese. Polymorphic supervisor dispatching GuestSpec → HVF/VZ/WASM backends. Phase H.6.

Quality suites, metrics, benchmark runners and reports for kime.

Device neutral tensors, arenas, the Backend trait and the plan executor for kime.

Byte level and SentencePiece style BPE tokenizers for kime, with Hugging Face parity.

FormaLang compiler frontend: lexer, parser, semantic analyzer, and IR lowering.

VIIPER Client Library for Rust

Request and answer types, validation, rendering, confidence, calibration and presets for kime.

Sideload iOS/iPadOS applications

Access snapshot conformance verifier for K1 access profiles

Typed, versioned TOML preferences for the preset.nz desktop apps: schema with defaults, validated load, atomic save, Tauri commands and change event.

intrusive singly linkedlist

intrusive doubly linkedlist

Runs one declared ExportSpec from an ephemeral Process — reads the artifact, ships through the chosen VectorChannel, emits a typed export receipt

The SNOMED CT Compositional Grammar lexer, parser, and printer

Arena-enclosed Lisp virtual environments — bumpalo-backed, sealable, serializable compilers you can author in Lisp and deploy as typed artifacts