euclid
Here are 53 public repositories matching this topic...
The modular galaxy image simulation toolkit. Documentation:
-
Updated
May 6, 2025 - Python
A formalization of geometry in Coq based on Tarski's axiom system
-
Updated
May 8, 2025 - Coq
Vector math, geometry, reference frame, and shapes 2D & 3D
-
Updated
Jun 4, 2025 - Java
Formalization of some elementary mathematical theories in Coq
-
Updated
Mar 29, 2020 - Coq
Some examples for the programming language Go.
-
Updated
May 18, 2021 - Go
Implementation of the algorithm described in http://cgm.cs.mcgill.ca/~godfried/publications/banff.pdf
-
Updated
Aug 7, 2022 - Raku
Compute the least common multiple (lcm).
-
Updated
May 19, 2025 - Python
Compute the hypotenuse avoiding overflow and underflow.
-
Updated
May 26, 2025 - Python
Compute the hypotenuse avoiding overflow and underflow (single-precision).
-
Updated
May 26, 2025 - Python
Geometry Playground is a free ruler and compass Java application for seven geometries. Geometry Playground has been translated into 10 languages.
-
Updated
Mar 19, 2022 - Java
Compute the hypotenuse using the alpha max plus beta min algorithm.
-
Updated
Apr 11, 2025 - JavaScript
Improve this page
Add a description, image, and links to the euclid topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the euclid topic, visit your repo's landing page and select "manage topics."