Skip to content

#

2pi

Here are 11 public repositories matching this topic...

Language: All

Filter by language

All 11 JavaScript 10 Lean 1

Sort: Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

stdlib-js / constants-float64-ln-sqrt-two-pi

Natural logarithm of the square root of 2π.

nodejs javascript node log math stdlib mathematics square const pi root node-js constant natural logarithm double ieee754 ln sqrt 2pi

Updated Sep 2, 2026
JavaScript

stdlib-js / constants-float64-two-pi

2π.

nodejs javascript node math stdlib mathematics const pi node-js floating-point constant precision double ieee754 dbl float64 2pi

Updated Sep 1, 2026
JavaScript

AEjonanonymous / Hadwiger-Nelson

Formal Verification of the 7-Color Chromatic Number of the Plane via Toroidal Projection and the Irrationality of 2π.

graph-theory formal-verification interactive-theorem-proving irrationality mathlib zulip-bot chromatic-number de-bruijn lean4 2pi formal-proof k-colorability toroidal-topology hadwiger-nelson-problem moser-spindle unit-distance-graph pigeonhole-principle proof-by-exclusion

Updated Jul 20, 2026
Lean

stdlib-js / constants-float32-two-pi

2π.

nodejs javascript node math stdlib mathematics const pi node-js floating-point constant precision float ieee754 float32 2pi

Updated Jul 29, 2026
JavaScript

stdlib-js / constants-float64-sqrt-two-pi

Square root of 2π.

nodejs javascript node math stdlib mathematics square const pi root node-js floating-point constant precision double ieee754 sqrt dbl float64 2pi

Updated Sep 1, 2026
JavaScript

stdlib-js / constants-float32-sqrt-two-pi

Square root of 2π as a single-precision floating-point number

nodejs javascript node math stdlib mathematics square const pi root node-js floating-point constant float ieee754 single sqrt float32 2pi

Updated Jul 29, 2026
JavaScript

stdlib-js / constants-float32-ln-sqrt-two-pi

Natural logarithm of the square root of 2π.

nodejs javascript node log math stdlib mathematics square const pi root node-js constant precision natural logarithm ieee754 ln sqrt 2pi

Updated Jul 29, 2026
JavaScript

stdlib-js / constants-float16-sqrt-two-pi

Square root of 2π as a half-precision floating-point number.

nodejs javascript node math stdlib mathematics square const pi root node-js floating-point constant float ieee754 half float16 sqrt 2pi

Updated Sep 2, 2026
JavaScript

stdlib-js / constants-float16-two-pi

2π.

nodejs javascript node math stdlib mathematics const pi node-js floating-point constant precision float ieee754 float16 2pi

Updated Sep 2, 2026
JavaScript

Keim23 / constants-float16-ln-sqrt-two-pi

🔢 Provide accurate float16 constants for ln(√(2π)), enhancing numerical computations in JavaScript and improving performance in scientific applications.

nodejs javascript log stdlib mathematics square const pi root constant precision natural logarithm ieee754 ln sqrt 2pi

Updated Sep 5, 2026
JavaScript

stdlib-js / constants-float16-ln-sqrt-two-pi

Natural logarithm of the square root of 2π.

nodejs javascript node log math stdlib mathematics square const pi root node-js constant precision natural logarithm ieee754 ln sqrt 2pi

Updated Sep 3, 2026
JavaScript

Add this topic to your repo

To associate your repository with the 2pi topic, visit your repo's landing page and select "manage topics."