Projects

This page lists big projects which have their own websites.

• PRISM — Programming Really Is Simple Mathematics. Mathematical framework of programming fundamentals based on set theory.
• Reif — Research Eiffel. Research extensions for EiffelStudio such as AutoProof, AutoFix. Fork of the previous EVE project.