An axiom-free formalization of category theory in Coq for personal study and practical work
-
Updated
Jul 31, 2024 - 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.
🤖 Repeat tests. Repeat tests. Repeat tests.
A simple header-only, single-file library to handle WGS84 coordinate to Cartesian coordinate transformations for C++.
Fast cartesian product
A .NET library that provides strongly-typed implementations of multiple coordinate systems, including rectangular, polar, spherical, and geodetic.
Intervals coupled with algebra of set to handle adaptive mesh refinement and operators on it.
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).
𝜟𝜱✴︎ 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
This package will project your custom cartesian dimensions on a Mappable map world grid
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."