213 skills found · Page 1 of 8
HackerPoet / NonEuclideanA Non-Euclidean Rendering Engine for 3D scenes.
Yalantis / EuclidUser Profile Interface Animation
jemmybutton / Byrne EuclidMetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
nicklockwood / EuclidA Swift library for creating and manipulating 3D geometry
perone / EuclidesdbA multi-model machine learning feature embedding database
servo / EuclidGeometry primitives (basic linear algebra) for Rust
kasperpeulen / EuclidthegameA geometry game based on Euclid's Elements.
MathsFans / EuclideaThis is an open source project to share ideas for solving the geometry games Euclidea.
GalSim-developers / GalSimThe modular galaxy image simulation toolkit. Documentation:
seung-lab / Euclidean Distance Transform 3dEuclidean distance & signed distance transform for multi-label 3D anisotropic images using marching parabolas.
nionio6915 / Euclid ProbeEuclid probe, a magnetically coupled Z Probe
Limeth / EucliderA higher dimensional raytracing prototype with non-euclidean-like features
GeoCoq / GeoCoqA formalization of geometry in Coq based on Tarski's axiom system
mathigon / Euclid.js2D Euclidean geometry classes, utilities, and drawing tools
loganrjmurphy / LeanEuclidLeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
anandthakker / Euclid:pencil2: Euclidean geometry in javascript
hal9000xp / EuclidAn event-driven framework
AlexKontorovich / 2025EuclideanGeometryCourseFormal Euclidean Geometry Course, Rutgers Math Corps
fyr233 / NonEuclidGraphics非欧几何世界中的渲染引擎
thomasp85 / EuclidExact Computation Geometry Framework Based on 'CGAL'
