Pinned Loading

1. geosquared geosquared Public

   Geogebra-fork focused on extensibility and support for Euclidean Geometry.

   Java

2. jomatra jomatra Public

   Euclidean vector graphics library for Asymptote.

   Asymptote

3. competitive competitive Public

   C++ 3 1

4. barhana barhana Public

   Logic derivation engine in Python

   Python 1