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

Library of theoretical model predictions for photometric and spectroscopic large-scale structure observables

Formalization of some elementary mathematical theories in Coq

Unofficial python library for reading cosmology-ready data products from the ESA Euclid mission

Some examples for the programming language Go.

Repository containing tutorials, exercises and examples for cloe-org

Likelihood module interfacing with cloelib, euclidlib and Euclid covariance matrices

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 hypotenuse avoiding overflow and underflow (single-precision).

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

Compute the hypotenuse avoiding overflow and underflow.

📚️ A repository for showcasing my knowledge of the Euclid programming language, and continuing to learn the language.

Compute the least common multiple (lcm).