euclid
Here are 48 public repositories matching this topic...
The modular galaxy image simulation toolkit. Documentation:
-
Updated
Aug 19, 2024 - Python
A formalization of geometry in Coq based on Tarski's axiom system
-
Updated
May 31, 2024 - Coq
Vector math, geometry, reference frame, and shapes 2D & 3D
-
Updated
Jun 20, 2024 - 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 https://cgm.cs.mcgill.ca/~godfried/publications/banff.pdf
-
Updated
Aug 7, 2022 - Raku
Compute the least common multiple (lcm).
-
Updated
Aug 4, 2024 - Python
Compute the hypotenuse avoiding overflow and underflow (single-precision).
-
Updated
Aug 4, 2024 - Python
Compute the hypotenuse avoiding overflow and underflow.
-
Updated
Aug 4, 2024 - Python
Essential vector math library supporting allocation free programming for real time systems. Extreme focus on unit and integration testing, type safety, and crash early code quality standards.
-
Updated
Nov 21, 2018 - HTML
Compute the greatest common divisor (gcd).
-
Updated
Aug 4, 2024 - JavaScript
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
Aug 4, 2024 - 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."