Docs.rs

A TUI tool for XJTU students

Sparse polynomial GCD by Huang-Gao lifting and Huang-Monagan substitution with a Zippel fallback.

Black-box sparse polynomial and rational function interpolation over word-sized prime fields.

Interactive version bumping for Cargo projects: bump the manifest, commit, tag, push

The command-line front end for SVA

Post-hoc analyses over rendered buffers: onsets and trajectory are stable; masking and gain-reduction are still experimental

Kotlin grammar for tree-sitter

The parse -> tempo -> render pipeline shared by both front ends

Backend-neutral facade and optional provider selection for Fusion PCU

Renders a resolved graph into per-node buffers a query can be asked of

Laws in t and f: the normal form, the rule table, and the observations a law answers without sampling

Buffers, frames, the f64 machine, the collapse of a law onto a grid, and the measured observations over one

Explicit synchronous Vulkan SPIR-V compute execution for Fusion PCU

The document model for a composition

wgpu backend scaffold for Fusion PCU