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 - Computes the cartesian product of arrays provided by an array or an object

•    Javascript

Computes the cartesian product of arrays provided by an array or an object

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

•    Javascript

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

## cartesian-tree - Linear time Cartesian tree data structure construction

•    Javascript

Constructs a Cartesian tree for an array in linear time.

## ecef-projector - Projects coordinates from geodetic to ECEF and unprojects from ECEF to geodetic

•    Javascript

Return an array xyz of [x,y,z] coordinates in meters from lat, lon and alt where lat and lon are in degrees.

## 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.

We have large collection of open source products. Follow the tags from Tag Cloud >>

Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.