dag-optimization

A FFT library in C, emitted by a Ocaml DAG FFT compiler. Supports all layouts, In-place & out-of-place C2C/R2C/C2R, 2D, and DCT/DST/DHT, with a calibrated wisdom planner. Beats Intel MKL on C2C and on multithreaded real/2D transforms. Pure C, zero dependencies.

The Functor Framework introduces a novel phenomodel-based type system that separates heterogeneous functors (He) from homogeneous functors (Ho) through set-theoretic relations and UML cardinality mappings. This enables lossless DAG (Directed Acyclic Graph).