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

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

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

Euclid Testnet Bot

Use Realsense data of euclide through ros in python.

Compute the hypotenuse avoiding overflow and underflow.

Compute the least common multiple (lcm).

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

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

GCD/HCF in two Algorithms; (a) Trial and Error Algorithm (b) Euclid's Algorithm. Both written in C.

Shear measurement pipeline for HST NIR weak lensing project

C: Euclid's GCD algorithm