Docs.rs

MCP server hosting Lean 4 via a supervised lean-rs-worker child

Zed's gpui_windows crate, as used by agentty-gpui

AHB condition expression parsing, evaluation, and EDIFACT validation

Official Rust SDK for Ha Tang (Hạ Tầng): support CRM and live chat, plans and purchases, the AI assistant's knowledge, email, VietQR payments and webhooks.

Worker-child binary for lean-host-mcp (links libleanshared; spawned by the parent)

Quantum circuit representation and manipulation in bloq.

MIG-guided EDIFACT tree assembly — parse RawSegments into typed MIG trees

Generic interchange model types for BO4E/EDIFACT conversion

Common utilities for bloq project.

FV2610 interchange and PID types behind bo4e-edifact-types

Policy Enforcement Point - OIDC authentication and authorization library

FV2604 interchange and PID types behind bo4e-edifact-types

Quickly identify the platform of a cartridge dump, disc image, or installable package for game console formats.

FV2510 interchange and PID types behind bo4e-edifact-types

A native GUI library with Solid-style signals: a node tree on Taffy, cached per-node scenes, signals that write straight into nodes.