10 results found Sort:

72
766
bsd-3-clause
19
An axiom-free formalization of category theory in Coq for personal study and practical work
Created 2014-07-04
1,550 commits to master branch, last one about a month ago
A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#
Created 2017-04-01
927 commits to master branch, last one 2 months ago
32
180
mit
16
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.
Created 2017-04-26
332 commits to master branch, last one 7 months ago
2
114
apache-2.0
2
🤖 Repeat tests. Repeat tests. Repeat tests.
Created 2019-05-22
1,094 commits to main branch, last one 8 days ago
Convex hull of given 3D points
Created 2017-08-01
22 commits to master branch, last one 3 years ago
A simple header-only, single-file library to handle WGS84 coordinate to Cartesian coordinate transformations for C++.
Created 2018-03-09
14 commits to master branch, last one 3 years ago
PHP - A simple, low-memory footprint function to generate all combinations from a multi-dimensionnal array.
Created 2017-05-29
26 commits to master branch, last one 3 years ago
16
44
bsd-3-clause
4
Intervals coupled with algebra of set to handle adaptive mesh refinement and operators on it.
Created 2020-11-26
797 commits to master branch, last one 2 days ago
A .NET library that provides strongly-typed implementations of multiple coordinate systems, including rectangular, polar, spherical, and geodetic.
Created 2023-05-03
152 commits to main branch, last one about a year ago