Euclide (EuclidianReality) is a dynamic geometry builder for creating exact figures regarding their mathematical properties. It lets you distort them freely, check properties such as angles and lengths, print figures and export them in several formats, vectorial or bitmap.