euclid

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

The modular galaxy image simulation toolkit. Documentation:

A formalization of geometry in Coq based on Tarski's axiom system

基于 GeoGebra 的尺规作图闯关游戏

Vector math, geometry, reference frame, and shapes 2D & 3D

Library of theoretical model predictions for photometric and spectroscopic large-scale structure observables

Unofficial python library for reading cosmology-ready data products from the ESA Euclid mission

Formalization of some elementary mathematical theories in Coq

Some examples for the programming language Go.

Repository containing tutorials, exercises and examples for cloe-org

Likelihood module interfacing with cloelib, euclidlib and Euclid covariance matrices

Tools to create Euclidian Geometry pds, and code that demonstrates Euclid's elements

Implementation of the algorithm described in http://cgm.cs.mcgill.ca/~godfried/publications/banff.pdf

Euclid Testnet Bot

Use Realsense data of euclide through ros in python.

Relaxation-Driven Cyclic Cosmology (RDCC) - minimal CPT-symmetric one-parameter extension of ΛCDM. Complete open-source framework: Flagship paper, MCMC fits (α = 0.0176 ± 0.0021), 100+ technical Companions on weak-lensing topology, persistent homology, neural transport maps, Fisher geometry, and end-to-end inference.

Interactive Euclid's Elements Visualization

Compute the hypotenuse avoiding overflow and underflow (single-precision).

📚️ A repository for showcasing my knowledge of the Euclid programming language, and continuing to learn the language.

Compute the least common multiple (lcm).