An axiom-free formalization of category theory in Coq for personal study...
A library designed to ease geographic coordinate format conversions, and...
A module used to change the information of user action entered by variou...
🤖 Repeat tests. Repeat tests. Repeat tests.
Convex hull of given 3D points
PHP - A simple, low-memory footprint function to generate all combinatio...
A simple header-only, single-file library to handle WGS84 coordinate to ...
Fast cartesian product
A .NET library that provides strongly-typed implementations of multiple ...
Quadtree Adaptive Mesh Refinement