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 cosmology-ready data products from the ESA 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 (single-precision).

Compute the hypotenuse avoiding overflow and underflow.

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

Euclid Geometric Theorem Prover Showcasing Automated & Symbolic Reasoning, Encoding Euclid's Postulates, Forward Chaining Inference with a SVG Visualiser

Interactive Euclid's Elements Visualization

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