euclid 开源项目推荐（84 个）

jemmybutton /byrne-euclid

MetaPost + TeX演绎Oliver Byrne的“欧几里得基础的前六本书”

GalSim-developers /GalSim

The modular galaxy image simulation toolkit. Documentation:

GeoCoq /GeoCoq

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

rhcad /geogebra_euclid

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

cloe-org /cloelib

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

ihmcrobotics /euclid

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

cloe-org /cloelike

Likelihood module interfacing with cloelib, euclidlib and Euclid covariance matrices

euclidlib /euclidlib

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

ivashkev /math-formalizations

Formalization of some elementary mathematical theories in Coq

cloe-org /playground

Repository containing tutorials, exercises and examples for cloe-org

uschramme /Golang_Examples

Some examples for the programming language Go.

sandy-bultena /Euclid

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

jonathanstowe /EuclideanRhythm

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

ahmuq /euclid-bot

Euclid Testnet Bot

chriamue /euclid_realsense_ros_python

Use Realsense data of euclide through ros in python.

taijitu-cosmo /Relaxation-Driven-Cyclic-Cosmology-RDCC-Framework

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.

jamesweber7 /Interactive-Euclids-Elements

Interactive Euclid's Elements Visualization

stdlib-js /math-base-special-hypotf

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

seanpm2001 /Learn-Euclid

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

stdlib-js /math-base-special-lcm

Compute the least common multiple (lcm).