Docs.rs

Zero-dependency, no_std u64 number theory and modular arithmetic. Public, secret-free — Stage One, no constant-time guarantees yet. A five-tier differential test harness; selected primitives proved with Kani and Aeneas-to-Lean. Deterministic is_prime over all u64.

Pure-Rust alternative to font-loader and fontconfig w. minimal dependencies

Fight rust demo

Reveal ASCII art from progress piped on stdin: the language-agnostic inkling bridge.

Reveal arbitrary ASCII art as a progress indicator by choosing the order its glyphs appear.

Manage AGENTS.md and Docs markdown indexes for agent-oriented repositories.

Engine for context-bar: AI coding-agent usage, rolling quota windows, and API-equivalent cost estimation from local transcripts.

Open feature provider for Superposition.

Build and locally edit a bookshelf for multiple mdBook projects.

Rust 的 QQ 机器人框架,支持 OneBot v11 和 Milky

Core configuration and catalog model for Bookyard.

Nagisa Milky 1.2 protocol adapter (targets Lagrange.Milky / LLOneBot)

Nagisa OneBot v11 protocol adapter (targets Lagrange.OneBot / NapCat / LLOneBot)

Nagisa logging: readable event rendering, opt-in event observer, unified recorder + log bus

Compression logic for Znippy, a parallel chunked compression system.