#
euclid
Here are 24 public repositories matching this topic...
The modular galaxy image simulation toolkit. Documentation:
-
Updated
Jul 19, 2020 - Python
A formalization of geometry in Coq based on Tarski's axiom system
geometry
euclid
coq
formalization
elements
archimedes
tarski-axiom
hilbert-axioms
desargues
pappus
parallel-postulate
continuity
-
Updated
Jun 16, 2020 - Coq
Vector math, geometry, reference frame, and shapes 2D & 3D
-
Updated
Jun 18, 2020 - Java
Formalization of some elementary mathematical theories in Coq
-
Updated
Mar 29, 2020 - Coq
Implementation of the algorithm described in http://cgm.cs.mcgill.ca/~godfried/publications/banff.pdf
-
Updated
Jan 16, 2019 - Perl 6
A website dedicated to tracking product price information.
react
javascript
typescript
euclid
secret
cost
tern
encrypts
price-information
prisma
price-trends
analytic-capabilities
-
Updated
Apr 24, 2019 - TypeScript
Finds the greatest common divisor of two integers using a recursive function based on the Euclidean Algorithm. Simple netbeans-generated GUI.
-
Updated
Mar 4, 2019 - Java
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
Database state watcher
-
Updated
Mar 9, 2019 - Python
Some of the common algorithms in Swift
-
Updated
Jun 17, 2020 - Swift
Recursion Examples in Java
-
Updated
May 13, 2018 - Java
A simple program that calculates the Greatest Common Divisor through a user input
-
Updated
Jul 27, 2018 - C++
calculate the multiplicative inverse of a number (however large) using Euclid's Extended Division Lemma
-
Updated
Jan 23, 2019 - C
Automated Theorem Prover written in JavaScript, CSS3 & HTML5
-
Updated
Apr 28, 2020 - JavaScript
-
Updated
Jun 6, 2020 - 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."