Releases

A modern hardware description language

SystemVerilog to Veryl translator

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

A bluetooth communication library

CLI binary for managing microsandbox environments.

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

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

Apache OpenDAL™: One Layer, All Storage.

Glyphtrail server: an HTTP code-graph explorer.

Glyphtrail MCP server: code-graph tools over the Model Context Protocol.

Glyphtrail visualization: a self-contained interactive code-graph HTML page.

Filesystem backends and guest filesystem support for microsandbox.

Peat mesh networking library with CRDT sync, transport security, and topology management

Glyphtrail analysis: walk a repository and build or update its code graph.

Glyphtrail storage: the LadybugDB-backed code graph store.

Telegram HTML and Markdown entity parsers for ferogram

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

An easy to use library for pretty print tables of Rust `struct`s and `enum`s.

Servo-replacement runtime for Tauri: wires html-cat, css-cat, dom-cat, layout-cat, paint-cat, net-cat, boa-cat, ecma-runtime-cat, and web-api-cat into a single rendering + scripting pipeline. v0.5.0 adds an IPC bridge so JS scripts can call host commands via `__TAURI__.invoke(cmd, ...args)`, and back-propagates scripted DOM mutations into layout via `web_api_cat::extract_document`. tauri_runtime::Runtime trait impl is the remaining committed deliverable. The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

A markdown parser that produces styled terminal lines

Ling - The Omniglot Systems Language

Bindings between boa-cat (JS engine) and the DOM (html-cat tree) plus fetch (net-cat). Exposes `document`, `Element` methods, and `fetch` as boa-cat NativeFns so scripts can read/mutate a parsed HTML document and make synchronous HTTP requests. v0.2.0 adds `extract_document` that walks the post-script JS-side DOM tree and reconstructs a `dom_cat::Document` so callers can back-propagate scripted mutations into layout-cat. No mut, no Rc/Arc, no interior mutability, no panics. Seventh sub-crate of a Servo-replacement webview runtime targeting Tauri.

Ling - The Omniglot Systems Language

Test framework for 'pgrx'-based Postgres extensions

Generated Rust bindings for Postgres internals, for use with 'pgrx'

pgrx: A Rust framework for creating Postgres extensions

Z3 SMT translation validation for the Synth compiler

Servo-replacement runtime for Tauri: wires html-cat, css-cat, dom-cat, layout-cat, paint-cat, net-cat, boa-cat, ecma-runtime-cat, and web-api-cat into a single rendering + scripting pipeline. v0.4.0 adds a winit + softbuffer window and a runnable demo binary so the rasterized output can be shown on-screen. IPC bridge and tauri_runtime::Runtime trait impl are committed-to deliverables for subsequent versions. The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

Hybrid cloud-edge AI inference SDK — umbrella crate re-exporting xybrid-sdk.

Developer-facing API for hybrid cloud-edge AI inference: load/run/stream models with declarative routing.