10 results found Sort:
- Filter by Primary Language:
- C++ (2)
- C# (2)
- TypeScript (2)
- Python (1)
- JavaScript (1)
- Coq (1)
- PHP (1)
- +
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
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
🤖 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
Fast cartesian product
Created
2019-05-27
1,020 commits to main branch, last one 8 days ago
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