Releases

Runtime-installable builtin signature registry. Decouples harn-parser (consumer) from harn-vm (producer) without a dependency cycle.

Embedded Harn standard library source catalog

Embedded skill corpus for the Harn CLI and runtime

Canonical high-confidence secret pattern catalog shared by the Harn runtime redaction/scan paths and downstream host consumers.

Tokenizer with span tracking for the Harn programming language

define_opcodes! proc-macro: emits the VM Op enum, sync/async dispatch, disassembly, and classification helpers from a single declarative table.

Unified time + sleep abstraction for the Harn runtime, CLI, triggers, cron, and harn-cloud.

Glob pattern matching primitives for the Harn programming language

GIR Parser and type generator

Shared type definitions for Harn builtin signatures (BuiltinSignature, Param, Ty). Consumed by both harn-parser and harn-vm so signatures stay cycle-free.

Document converter library: parse a source format and render it to a target format.

Output-format writers: render the document model to a target format's text.

Static, deterministic LLM prompt/payload compressor — cut input tokens 30-90% with zero extra model calls

Download historical market data from IBKR and Databento into FWOB files

Input-format readers: parse a source format's text into the document model.

Shared conversion options, error types, and text/attribute helpers.

Document model (AST) and its JSON serialization.

Program in YAML — Code is Data

Low-latency native OpenIPC FPV ground station built with egui

Shared type definitions for the Semio Arora framework

CLI for FineType semantic type classification

Low-latency platform video decoding for OpenIPC applications

Rust WFB-style command-line tools built on openipc-rs

WebAssembly bindings for openipc-rs

Rust Realtek rtl88xx USB WiFi receiver driver for OpenIPC

Shared OpenIPC FPV packet, RTP, and Realtek RX parsing logic

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

axon-emcp — the official ℰMCP (Epistemic Model Context Protocol) server for AXON. A stdio JSON-RPC 2.0 MCP server that exposes the AXON language to AI coding agents (Claude Code, Codex, Cursor, …): every primitive's grammar + semantic constraints + idiomatic examples, plus live validation via the same `axon-frontend` lexer/parser/type-checker the `axon` CLI uses. Hydrated from a diff-reviewable markdown knowledge base under `src/knowledge/`.

SQLite ledger (data layer) shared by llmtrim-cli and llmtrim-tray

Static, deterministic LLM prompt/payload compression engine — the zero-LLM-call transform core behind llmtrim. No network, no async.