A math-first, evidence-driven HPC language and compiler project that turns mathematical intent into correct, explainable, high-performance CPU/GPU implementations with full claim/evidence/provenance tracking.
pythonperformance-engineeringcompilerfortranhpclinear-algebraprovenancescientific-computingblasformal-methodscode-generationlapacknumerical-computingimmutable-data
-
Updated
Jul 12, 2026 - Python