Docs.rs

Agent-native execution infrastructure: macros

Command-line client for the WaveKat platform (wk)

Agent-native execution infrastructure: schema

Agent-native execution infrastructure: core

Tauri v2 plugin exposing better-duck (embedded DuckDB) to the webview as a local-analytics engine

Core types and traits for Leviath: context regions, memory layouts, blueprints, and lifecycle policies

Batteries included session for mathtex-editor: keymap, typesetting, undo, clipboard and host box tokens over the explicit core

Pluggable default keymap for mathtex-editor, translating input into core commands

Headless core of the mathtex structural math editor: model, operations, navigation, selection, IR matching

Talk to Arvo's engine over gRPC: the generated service stubs, where to find a running engine, and the token each service takes.

The types of Arvo's engine API, generated from its protobuf contract. Messages only, no transport, so it builds for WebAssembly.

Allocator tuning for the leviath binary: one audited mimalloc option call

TeX math layout engine in Rust: LaTeX math to renderer neutral IR to SVG, natively and on wasm

XeTeX engine for mathtex: baked formats, sandboxed math typesetting, host fonts and boxes, IR lowering

A terminal-based kanban board with file-based storage, multi-project support, Helix-style keybindings, and built-in MCP server for AI integration