Shadowgraph

237commits

1contributors

4languages

Tech stack & purpose

Mazeppa is a modern supercompiler designed as a compilation target for call-by-value functional languages. Supercompilation is a deep program transformation technique that symbolically evaluates programs to discover execution patterns and synthesize them into more efficient residual programs, subsuming both deforestation and partial evaluation. Built in OCaml and translating to native machine code through GNU C11, Mazeppa provides a full set of primitive data types, supports manual control of function unfolding, and emphasizes transparency and efficiency in its transformation decisions.