An axiom-free formalization of category theory in Coq for personal study and practical work
-
Updated
Apr 15, 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.
A simple header-only, single-file library to handle WGS84 coordinate to Cartesian coordinate transformations for C++.
Quadtree Adaptive Mesh Refinement
2D Cartesian Quadtree Adaptive Mesh Refinement (AMR) for multiphase Five Equations Model
Intervals coupled with algebra of set to handle adaptive mesh refinement and operators on it.
Python package that converts between polar and cartesian domain (in images too).
Fast cartesian product
Декартова система координат
Java library for Newtonian Mechanics Modeling with a focus on Immutable Fluency
Real-space grid Density Functional Theory for large systems
Cartesian product for big inputs
ncurses C plotter
🤖 Repeat tests. Repeat tests. Repeat tests.
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."