euclid
Here are 61 public repositories matching this topic...
The modular galaxy image simulation toolkit. Documentation:
-
Updated
Mar 31, 2026 - Python
A formalization of geometry in Coq based on Tarski's axiom system
-
Updated
Nov 17, 2025 - Rocq Prover
Vector math, geometry, reference frame, and shapes 2D & 3D
-
Updated
Oct 3, 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
Jan 6, 2026 - Raku
Compute the hypotenuse avoiding overflow and underflow (single-precision).
-
Updated
Mar 29, 2026 - Python
📚️ A repository for showcasing my knowledge of the Euclid programming language, and continuing to learn the language.
-
Updated
Nov 23, 2025 - HTML
Compute the least common multiple (lcm).
-
Updated
Apr 19, 2026 - Python
Compute the hypotenuse avoiding overflow and underflow.
-
Updated
Apr 19, 2026 - 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
Interactive Euclid's Elements Visualization
-
Updated
Jun 7, 2025 - JavaScript
Shear measurement pipeline for HST NIR weak lensing project
-
Updated
Mar 9, 2025 - Python
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."