9 results found Sort:

jwiegley
category-theory jwiegley
69
754
bsd-3-clause
20
An axiom-free formalization of category theory in Coq for personal study and practical work
coq monad monoid functor category comonads cartesian categories profunctor construction category-theory profunctor-composition cartesian-closed-category
Created 2014-07-04
1,545 commits to master branch, last one 2 days ago
Tronald
CoordinateSharp Tronald
59
364
other
20
A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#
lat sun utm ecef long mgrs moon lunar meeus solar georef latitude magnetic cartesian longitude coordinates celestial-data magnetic-field coordinate-conversions
Created 2017-04-01
921 commits to master branch, last one 3 days ago
naver
egjs-axes naver
32
179
mit
17
A module used to change the information of user action entered by various input devices such as touch screen or mouse into the logical virtual coordinates.
axis egjs cartesian coordinate javascript typescript virtual-scroll
Created 2017-04-26
332 commits to master branch, last one 3 months ago
ehmicky
test-each ehmicky
2
111
apache-2.0
2
🤖 Repeat tests. Repeat tests. Repeat tests.
es6 fuzz test nodejs foreach fuzzing library testing iterable cartesian javascript typescript data-driven code-quality fuzz-testing test-automation snapshot-testing data-driven-tests data-driven-testing functional-programming
Created 2019-05-22
1,076 commits to main branch, last one 3 days ago
swapnil96
Convex-hull swapnil96
20
91
mit
3
Convex hull of given 3D points
3d cartesian convex-hull
Created 2017-08-01
22 commits to master branch, last one 3 years ago
bpolaszek
cartesian-product bpolaszek
12
81
mit
5
PHP - A simple, low-memory footprint function to generate all combinations from a multi-dimensionnal array.
php array product function cartesian combinations
Created 2017-05-29
26 commits to master branch, last one 2 years ago
chrberger
WGS84toCartesian chrberger
19
80
mit
5
A simple header-only, single-file library to handle WGS84 coordinate to Cartesian coordinate transformations for C++.
cpp11 cpp14 cpp17 wgs84 cartesian coordinates header-only single-file platform-independent coordinate-transformation
Created 2018-03-09
14 commits to master branch, last one 3 years ago
ehmicky
fast-cartesian ehmicky
5
67
apache-2.0
4
Fast cartesian product
es6 sets lodash nodejs library product iterable algorithm cartesian lodash-fp functional javascript typescript performance combinations combinatorics data-structures cartesian-product cartesian-products functional-programming
Created 2019-05-27
1,003 commits to main branch, last one 3 days ago
NetFabric
NetFabric.Numerics NetFabric
1
34
mit
3
A .NET library that provides strongly-typed implementations of multiple coordinate systems, including rectangular, polar, spherical, and geodetic.
angle wgs84 csharp dotnet latlon degrees latlong radians vectors geodetic geometry numerics cartesian ellipsoid trigonometry coordinatesystems polar-coordinates spherical-coordinates
Created 2023-05-03
152 commits to main branch, last one 10 months ago