Build-script helper for Rustible workspaces: discovers playbook files marked #[rustible::playbook]. Called from the generated build.rs.

SDK for writing Rustible operations and playbooks

Belnap 四值逻辑（FOUR）：T / F / B / N 的 opt-in 语义

三值等价的 BDD（canonical）判定

三值组合网表的 X 传播与 stuck-at 可测性分析

Manage independent ephemeral GitHub Actions runner pools on one Docker host

Official Rust client for RedDB — embedded engine, gRPC, HTTP, and RedWire transports behind one connection-string API. Also hosts the workspace-internal connector + REPL used by the `red` and `red_client` binaries.

A yazi-style picker for tmux sessions, windows and panes

三值等价的 dual-rail + SAT 符号化判定

Indexed code search for Rust - ripgrep-parity regex search over a persisted trigram index, with ranked definition-first results.

三值求值、真值表与化简

三值逻辑核心：Kleene / Łukasiewicz / Bochvar 语义、AST、解析器、位并行表示与二进制互操作

Declarative UI engine for Rust: render UI from XML to iced, with hot-reload, data binding, components and .gss stylesheets.

Daemon inside every Colonizer microVM: agent runner bridge, event log, terminals

CLI do glacier-ui: cria um projeto pronto (templates .gvb, .gss e scripts Luau) e instala as extensões de VS Code.