An axiom-free formalization of category theory in Coq for personal study and practical work
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#
🤖 Repeat tests. Repeat tests. Repeat tests.
Fast cartesian product