Displaying 1 to 8 from 8 results

category-theory - A formalization of category theory in Coq for personal study and practical work

  •    Coq

This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories. Core Theory, covering topics such as categories, functors, natural transformations, adjunctions, kan extensions, etc.

egjs-axes - 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

  •    Javascript

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. You can easily create a UI that responds to user actions.

geodetic-to-ecef - convert geodetic (lat,lon) coordinates to ecef (x,y,z)

  •    Javascript

Return an array xyz of [x,y,z] coordinates in meters from lat and lon.Optionally supply an elevation in meters.




cartesian-product - Compute the cartesian product of an array.

  •    Javascript

Compute the cartesian product of an array. Simple library to compute the cartesian product.

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

  •    CSharp

CoordinateSharp is a simple .NET library that is designed to assist with geographic coordinate formatting and location based celestial information. This library has the ability to convert various lat long formats, UTM, MGRS(NATO UTM) and Cartesian (X, Y, Z). The ability to calculate various pieces of celestial information (sunset, moon illum..) also exist. CAUTION: v1.1.3.1 and above is considered a breaking change as MoonDistance has been converted from a double? object to a Distance object. Obsolete properties from 1.1.1.5 have also been removed as scheduled.