MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

The modular galaxy image simulation toolkit. Documentation:

A formalization of geometry in Coq based on Tarski's axiom system

基于 GeoGebra 的尺规作图闯关游戏

Vector math, geometry, reference frame, and shapes 2D & 3D

Formalization of some elementary mathematical theories in Coq

Some examples for the programming language Go.

Unofficial python library for reading data products from the Euclid mission

Tools to create Euclidian Geometry pds, and code that demonstrates Euclid's elements

Implementation of the algorithm described in http://cgm.cs.mcgill.ca/~godfried/publications/banff.pdf

Euclid Testnet Bot

Use Realsense data of euclide through ros in python.

Compute the least common multiple (lcm).

Compute the hypotenuse avoiding overflow and underflow.

Compute the hypotenuse avoiding overflow and underflow (single-precision).

An edition of Euclid's Elements built on web standards.

C: Euclid's GCD algorithm

Geometry Playground is a free ruler and compass Java application for seven geometries. Geometry Playground has been translated into 10 languages.

Compute the hypotenuse using the alpha max plus beta min algorithm.