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

• UpdatedJan 9, 2026
• Rocq Prover

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

• UpdatedJan 16, 2026
• 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.

• UpdatedOct 20, 2025
• TypeScript

🤖 Repeat tests. Repeat tests. Repeat tests.

• UpdatedMay 25, 2025
• JavaScript

Convex hull of given 3D points

• UpdatedJun 4, 2021
• Python

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

• UpdatedJul 9, 2025
• PHP

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

• UpdatedMar 18, 2021
• C++

Fast cartesian product

• UpdatedFeb 20, 2026
• TypeScript

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

• UpdatedFeb 17, 2026
• C++

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

• UpdatedMar 25, 2024
• C#

Quadtree Adaptive Mesh Refinement

• UpdatedMay 4, 2019
• Fortran

𝜟𝜱✴︎ 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…

• UpdatedApr 29, 2024
• HTML

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

• UpdatedJan 9, 2019
• Python

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

• UpdatedJul 26, 2018
• Fortran

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

• UpdatedMay 22, 2017
• C++

Cartesian product for big inputs

• UpdatedMay 25, 2025
• TypeScript

Small framework to create graphics in CircuitPython

• UpdatedMar 8, 2025
• Python

Make charts! Alpha version.

• UpdatedOct 26, 2021
• Elm

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

• UpdatedAug 27, 2024
• TypeScript

🗺 Generate an SVG or its Cartesian points' representation of a path from a GPX file or list of coordinates

• UpdatedJan 17, 2022
• TypeScript