Numerical invariants in FAUST

During my fourth year of studies, I did an internship for a research subject, under the direction of my professor Laure Gonnord. This is meant to initiate students to what research work is, and help them choose an orientation (research or professionnal) for their last year of studies.

The subject of my internship was eliminating a constraint inside the FAUST compiler, allowing the writing of simpler programs without the need for workarounds.

FAUST is a functional programming language specifically designed for real-time signal processing and synthesis.

The result of my work is available here.