Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: euclidean-geometry

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

Language: Lean - Size: 3.59 MB - Last synced: 10 days ago - Pushed: 10 days ago - Stars: 38 - Forks: 1

Geogebra-fork focused on extensibility and support for Euclidean Geometry.

Language: Java - Size: 21.9 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

Abstraction of Euclidean spaces.

Language: Rust - Size: 140 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 5 - Forks: 4

Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.

Language: TeX - Size: 40.4 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

A TypeScript library that provides basic calculation functionalities related to Euclidean geometry..

Language: TypeScript - Size: 55.7 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

DEPRECATED: Collection of math-related utilities developed at Body Labs

Language: Python - Size: 1.83 MB - Last synced: 7 days ago - Pushed: over 1 year ago - Stars: 7 - Forks: 5

DEPRECATED

Language: Python - Size: 116 KB - Last synced: 5 days ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

Related Keywords