RSS 247 projects tagged "Mac OS X"

No download Website Updated 13 Apr 2005 59-8 Interactive World Map

Screenshot
Pop 46.73
Vit 2.79

59-8 Interactive World Map shows the coordinates, flags, continent, and location of every country. Its maps are based on NASA's Visible Earth photography, and the facts are based on CIA's World Factbook.

Download Website Updated 01 Aug 2004 ACFTools

Screenshot
Pop 67.88
Vit 2.02

ACFTools is a utility for manipulating X-Plane flight simulator aircraft and weapon models without using its Plane Maker. It can decode both Apple and Intel ACF/WPN formats into plain text files with a syntax similar to C, which can be edited and then re-converted into binary data. It is able to extract almost complete 3D models of aircraft (fuselage, floats, tanks, wings, stabs, propellers, engines) and write it in AC3D modeler format. Edited 3D parts can then be merged into plain text and consequently converted into binary ACF files.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.51
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Download Website Updated 23 Aug 2005 ADF MAGE-ML Tool

Screenshot
Pop 13.53
Vit 1.42

The aim of ADF MAGE-ML Tool is to provide a module for converting ADF files (a tab delimited file representing microarray design layout) into MAGE-ML format, and for generating an ADF from an array design described in MAGE-ML format. The module is build upon the ADF specifications and using MAGE-Stk APIs (Java). MIAME-compliance checking, a logging system, and integration of LifeScience Identifier (LSID) specifications are key components of the module. The module can be used via the command line or a graphical user interface.

Download Website Updated 30 Sep 2007 ASCIIMathML

Screenshot
Pop 80.73
Vit 2.76

ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.

Download Website Updated 11 Mar 2008 Algraeph

Screenshot
Pop 44.50
Vit 1.00

Algraeph is a tool for manual alignment of linguistic graphs, such as phrase structure trees or dependency structures, where each node corresponds to a subsequence of the analyzed input sentence. It allows you to express the similarity between two graphs by aligning their nodes and attaching relation labels to these alignments. Graphs are read from one or more graphbanks (or treebanks) in the GraphML or Alpino formats. Alignment relations are user-defined and are stored in a simple XML format, which can be used for further processing. The resulting parallel graph corpus is a useful data set for many tasks in computational linguistics and natural language processing.

Download Website Updated 04 Sep 2002 Allegro Common Lisp

Screenshot
Pop 40.74
Vit 1.00

Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.

Download Website Updated 06 Jan 2004 AnimalTracker

Screenshot
Pop 16.61
Vit 2.51

AnimalTracker can be used to track the position of animals and their behavior in the context of an observation. Users can draw a map of the area and position the animals on it. The application can then calculate the distance between the animals and the distribution of them on the map across a specified time period. All data can be exported as tables to be used in spreadsheet applications or statistics programs.

Download No website Updated 01 Nov 2004 AntFlow

Screenshot
Pop 56.84
Vit 1.00

AntFlow builds upon Apache Ant to provide a new approach to simplifying system automation that uses pipelines of hot folders chained together to perform a given task. Using XML, it associates an automated task such as data transfer, encryption, or XML processing with a directory on the local system. Whenever a file is copied or written into the hot folder, the associated task is executed and the file is moved to the next hot folder in the pipeline for further processing.

Download Website Updated 07 Apr 2014 Armadillo C++ Library

Screenshot
Pop 612.73
Vit 118.47

Armadillo is a C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. The API is deliberately similar to Matlab's. Integer, floating point, and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Various matrix decompositions are provided through optional integration with LAPACK and ATLAS numerics libraries. A delayed evaluation approach, based on template meta-programming, is used (during compile time) to combine several operations into one and reduce or eliminate the need for temporaries.

Screenshot

Project Spotlight

nassh-relay

A relay server for the Secure Shell Chromium plugin.

Screenshot

Project Spotlight

Vilistextum

A fast HTML to text converter.