bendirstat

A disk-usage analyzer with terminal reports and an interactive treemap. Explore the largest directories and files, inspect usage by extension, or zoom into a visual map of the scanned tree.

A native C effect performs filesystem scanning; Bend 2 handles aggregation, sorting, reporting, treemap layout, and rendering. Parallel folds are accompanied by laws and proofs relating them to sequential specifications. The native build is the intended path for large directory trees, with a JavaScript lane available for smaller examples.