An axiom-free formalization of category theory in Coq for personal study and practical work
-
Updated
Feb 22, 2023 - Coq
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.
A simple header-only, single-file library to handle WGS84 coordinate to Cartesian coordinate transformations for C++.
Fast cartesian product
Quadtree Adaptive Mesh Refinement
2D Cartesian Quadtree Adaptive Mesh Refinement (AMR) for multiphase Five Equations Model
Python package that converts between polar and cartesian domain (in images too).
Intervals coupled with algebra of set to handle adaptive mesh refinement and operators on it.
𝜟𝜱✴︎ 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
Geometry coordinate converter for common 2d/3d coordinate systems
Add a description, image, and links to the cartesian topic page so that developers can more easily learn about it.
To associate your repository with the cartesian topic, visit your repo's landing page and select "manage topics."