Contingent on the full success of the SQUID project, a free copy of the first version of the first commercial (Ada 2012) compiler bootstrapped from this compiler. (Planned to both be fully formally verified and implementing all of the optional Annexes.)

(Credit as a "Monetary Supporter" on the 'Credits' page of the website.)

NOTE: This is a high-risk reward, contingent upon success of not only this project but future projects as well.

Less