RSS 4780 projects tagged "Mac OS X"

Download Website Updated 12 Aug 2010 ACCORD

Screenshot
Pop 28.30
Vit 1.74

ACCORD is a C library for composition of SEM or scanning helium-ion microscope images with correction of drift. It is able to compose (average) large sets of extremely noisy images that were acquired by scanning charged-particle microscopes at the highest possible speeds (lowest pixel-dwell times). If the images are composed using traditional techniques, they usually become extensively blurry. The technique that is implemented in this software corrects these derogations by pre-shifting the composed frames.

Download Website Updated 01 Aug 2004 ACFTools

Screenshot
Pop 67.68
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.94
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 24 May 2005 ACal Project

Screenshot
Pop 73.05
Vit 3.52

The ACal Project is a Web-based event calendar made for everyone. It was designed to be simple to install and setup. It does not require a database server, and installing is as easy as drag and drop.

Download Website Updated 23 Aug 2005 ADF MAGE-ML Tool

Screenshot
Pop 13.75
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.

No download Website Updated 28 Feb 2001 ADJE WebMail

Screenshot
Pop 34.81
Vit 69.25

ADJE WebMail is a set of Perl CGI scripts which provide a Web interface to existing email accounts on any POP3-compliant email server. The software provides a complete interface, including encoding/decoding attachments, email and URL markup in received emails, and an address book for each user.

Download Website Updated 11 Feb 2014 ADP

Screenshot
Pop 151.84
Vit 23.24

ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install.

No download Website Updated 20 Aug 2007 AFELO

Screenshot
Pop 18.11
Vit 1.00

AFELO allows you to select images on your local computer, to resize and compress them, and to send them to your Web server with only a few clicks.

Download Website Updated 01 Jan 2012 AFNIX programming language

Screenshot
Pop 86.83
Vit 8.63

AFNIX is a multi-threaded functional writing system with dynamic symbol bindings that support the object oriented paradigm. It has a rich set of features providing runtime compatibility with C++. The engine runs on both 32- and 64-bit platforms, and it is designed to be portable across platforms.

No download Website Updated 15 Nov 2010 AGPF KeyRec

Screenshot
Pop 22.49
Vit 35.32

AGPF KeyRec is powerful software to recover the default WPA passphrases of the specified models of Telecom Italia's AGPF routers.

Screenshot

Project Spotlight

CalDavZAP

A CalDAV Web client.

Screenshot

Project Spotlight

histofile

A tool that shows histograms of used byte-values in files.