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

Formalization of some elementary mathematical theories in Coq

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

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.

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).

Compute the hypotenuse avoiding overflow and underflow.

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.