9 results found Sort:

jwiegley
category-theory jwiegley
67
735
bsd-3-clause
19
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,527 commits to master branch, last one about a month ago
Tronald
CoordinateSharp Tronald
58
353
other
21
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
915 commits to master branch, last one 12 days ago
naver
egjs-axes naver
32
174
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
328 commits to master branch, last one 10 months ago
ehmicky
test-each ehmicky
2
110
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
983 commits to main branch, last one 26 days ago
swapnil96
Convex-hull swapnil96
21
85
mit
3
Convex hull of given 3D points
3d cartesian convex-hull
Created 2017-08-01
22 commits to master branch, last one 2 years ago
bpolaszek
cartesian-product bpolaszek
12
82
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
17
73
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
65
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
913 commits to main branch, last one 26 days ago
NetFabric
NetFabric.Numerics NetFabric
1
35
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 4 months ago