Releases

A static analysis platform for Rust program analysis and verification

A bevy plugin to load and render artwork data of Pixquare

A macro for generating SVG trees at compile time

CLI for the Harn programming language — run, test, REPL, format, and lint

Reusable discovery, scheduling, execution, and receipt contracts for Harn tests

Shared outbound workflow server core for Harn adapters

Host capability exposing the harn-rules declarative rule engine to Harn (`rules.search` / `rules.report` / `rules.apply`).

Language Server Protocol implementation for Harn

Declarative structural rule engine for Harn — rule model, pattern compiler, and matcher built on the harn-hostlib tree-sitter machinery.

Opt-in code-intelligence and deterministic-tool host builtins for the Harn VM

Linter for the Harn programming language

Downloadable on-device prompt-injection classifier for Harn (Layer 2)

Debug Adapter Protocol implementation for Harn

Google tools from the terminal, at maximum performance: 401 methods across 14 Google APIs in one generated command tree, zero-config, over HTTP/3

Version-pinned stock Codex app-server compatibility adapter for Volter Harness SDK runtimes.

Donor-neutral client state and semantic intents for Volter Harness frontends.

Version-pinned stock OpenCode HTTP compatibility adapter for Volter Harness SDK runtimes.

Offline PackageURL validator using a prebuilt FST of known packages.

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

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

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

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

Metal backend for RLX — Apple Silicon GPU via Metal Performance Shaders + custom MSL kernels

PIR-based MCMC optimization using the shared xlsynth-mcmc engine

ACORN terminal user interface (TUI)

XLS IR to gate mapping

ACORN library

GitHub webhook receiver — translates org-wide PR + push + branch events into EphemeralAllocation CRs the pool reconciler then routes to a matching EphemeralPool.

partial XLS IR focused on functions

The unified FluxCD-adjacent Kubernetes controller — reconciles Process CRDs as Unix processes, composes tatara three-pillar attestation