euclid
Here are 46 public repositories matching this topic...
The modular galaxy image simulation toolkit. Documentation:
-
Updated
May 16, 2024 - Python
A formalization of geometry in Coq based on Tarski's axiom system
-
Updated
May 7, 2024 - Coq
Vector math, geometry, reference frame, and shapes 2D & 3D
-
Updated
May 14, 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 http://cgm.cs.mcgill.ca/~godfried/publications/banff.pdf
-
Updated
Aug 7, 2022 - Raku
Compute the least common multiple (lcm).
-
Updated
Apr 12, 2024 - Makefile
Compute the hypotenuse avoiding overflow and underflow (single-precision).
-
Updated
Apr 13, 2024 - Makefile
Compute the hypotenuse avoiding overflow and underflow.
-
Updated
Apr 13, 2024 - Makefile
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
Apr 21, 2024 - JavaScript
Shear measurement pipeline for HST NIR weak lensing project
-
Updated
Apr 29, 2024 - Python
Compute the hypotenuse.
-
Updated
Apr 13, 2024 - Makefile
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 12, 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."