An axiom-free formalization of category theory in Coq for personal study and practical work

A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#

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.

🤖 Repeat tests. Repeat tests. Repeat tests.

Convex hull of given 3D points

PHP - A simple, low-memory footprint function to generate all combinations from a multi-dimensionnal array.

A simple header-only, single-file library to handle WGS84 coordinate to Cartesian coordinate transformations for C++.

Fast cartesian product

Intervals coupled with algebra of set to handle adaptive mesh refinement and operators on it.

A .NET library that provides strongly-typed implementations of multiple coordinate systems, including rectangular, polar, spherical, and geodetic.

Quadtree Adaptive Mesh Refinement

Python package that converts between polar and cartesian domain (in images too).

2D Cartesian Quadtree Adaptive Mesh Refinement (AMR) for multiphase Five Equations Model

Wangsamas firmware can be used for cartesian, delta and SCARA 3d printers and can be modified for plotter, CNC and laser.

𝜟𝜱✴︎ or Delta Phi Star is a variant method of determining lightness contrast, and a sibling of APCA and SACAM. It is a simplified version using easily invertible standardized maths, however it lacks some useful properties such as polarity sensitivity. In fact, it is intended for applications where a "general" simplifed perceptual contrast is des…

Cartesian product for big inputs

Make charts! Alpha version.

Small framework to create graphics in CircuitPython

This package will project your custom cartesian dimensions on a Mappable map world grid

Geometry coordinate converter for common 2d/3d coordinate systems