Releases

Real-time procedural audio from mathematical dynamical systems (Lorenz, Rossler, Double Pendulum, and more)

Proving backend for Noir circuits: ACVM witness solving, barretenberg Chonk folding (prove / verify) via FFI, and hash-checked frozen registries

High-performance DeFi route-finding engine — embeddable library and CLI

MCP server exposing the engenho cluster operator surface — typed reader catalog (P0) and writer catalog (P2+).

engenho-control-server — serves engenho's control API (spec/engenho-control.openapi.yaml): the local Unix socket with kernel peer credentials, routing every request through the spec's operation catalog to one EngenhoControl implementation.

engenho-control-client — talks to a running engenho's control API (spec/engenho-control.openapi.yaml) over its local socket: typed calls per operation, a generic call for the table-driven CLI, and the socket resolution the daemon and `engenho ctl` share.

engenho-control-types — the central types of engenho's non-Kubernetes control plane, DERIVED at build time from spec/engenho-control.openapi.yaml: the schema types, the closed OperationId + CATALOG (authority tier, confirm gate, CLI spelling per operation), per-operation typed requests, and the transport-agnostic EngenhoControl trait every transport serves.

Android egui 内置菜单框架：EGL/GL 渲染、JNI 输入桥接、原生文本编辑框与图片选择

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

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

Thread safe object pool

A space-efficient Merkle tree with witnessing of marked leaves, checkpointing & state restoration.

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

Language Server Protocol implementation for Harn

Shared outbound workflow server core for Harn adapters

deq: Real-time Quantum Error Correction Decoding System

HTTP RPC server for Fynd DEX router

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

Linter for the Harn programming language

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

Typed Newtonian numerical dynamics: state propagation, acceleration models, RK4/DOPRI5/DOP853 integrators, variational equations, STM, covariance, and gravity-field kernels.

Debug Adapter Protocol implementation for Harn

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

Android egui 内置菜单框架：EGL/GL 渲染、JNI 输入桥接、原生文本编辑框与图片选择

Runtime library for the microsandbox sandbox process and microVM entry points.

CLI binary for managing microsandbox environments.

WebAssembly bindings for the KeetaNet client

WASI bindings for the KeetaNet client: a P2 component (networked over wasi:http) and a P1 core module (pure), selected by feature

`microsandbox` is the core library for the microsandbox project.

Shared, target-agnostic projections and error mapping for KeetaNet binding crates