Releases

Contract-first AI-native language. Write what it should do. AI proves it does.

MCP (Model Context Protocol) server for Assura AI agent integration

LSP server for the Assura contract language

Shared compiler pipeline for the Assura language

A static analysis platform for Rust program analysis and verification

SMT-based verification for Assura contracts via Z3

Truffle transport adapter for Ghosttea

A native Ghostty-powered terminal runtime for Electron applications

A recursive-descent CSS parser with generic cursor sinks and rich diagnostics.

A spec-compliant CSS tokenizer with zero-copy cursors and optional feature gates.

Platform-neutral terminal model contracts for Ghosttea

Safe Rust adapter for Ghosttea's Ghostty VT core

Native linking contract for Ghosttea's pinned Ghostty VT core

A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.

Autonomous multi-agent orchestration engine for AI teams and game studios

a scaffolding++ tool for creating esp32 no_std esphal without the hassle

EIP-4337 client

Companion orchestration platform for the Meerkat multi-agent runtime

a scaffolding++ tool for creating esp32 no_std esphal without the hassle

Fast disk analyzer with tree, treemap and sunburst views

a scaffolding++ tool for creating esp32 no_std esphal without the hassle

Core library for the grit Git implementation

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

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

a scaffolding++ tool for creating esp32 no_std esphal without the hassle

Pure Rust cross-platform native GUI library with hardware-adaptive rendering, 180 widgets, touch/gesture support, i18n, and SVG-pipeline-accurate output

Streaming compression extension for the Do language.

A small Lua-like scripting language implemented in Rust

A small Lua-like scripting language implemented in Rust

3D scenes for fframes: a three.js style scene graph, glTF and STL models, a CPU rasterizer and a wgpu renderer