4608 projects tagged "Mac OS X"
Updated 11 Apr 2011
ACL2
| Pop | 86.07 |
|---|---|
| Vit | 5.65 |
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.
Updated 24 May 2005
ACal Project
| Pop | 82.93 |
|---|---|
| Vit | 3.54 |
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.
Updated 23 Aug 2005
ADF MAGE-ML Tool
| Pop | 15.87 |
|---|---|
| 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.
Updated 28 Feb 2001
ADJE WebMail
| Pop | 39.65 |
|---|---|
| Vit | 66.82 |
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.
Updated 25 Oct 2012
ADP
| Pop | 83.96 |
|---|---|
| Vit | 10.77 |
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.
Updated 20 Aug 2007
AFELO
| Pop | 25.63 |
|---|---|
| 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.
Updated 01 Jan 2012
AFNIX programming language
| Pop | 115.20 |
|---|---|
| Vit | 10.53 |
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.
Updated 15 Nov 2010
AGPF KeyRec
| Pop | 27.35 |
|---|---|
| Vit | 30.29 |
AGPF KeyRec is powerful software to recover the default WPA passphrases of the specified models of Telecom Italia's AGPF routers.
Updated 27 Oct 2004
AIMSpy
| Pop | 42.08 |
|---|---|
| Vit | 1.47 |
AIMSpy is an application that parses and displays content from instant messaging systems using the local network. It is multi-threaded, uses BPF devices for network access, and includes fairly thorough support for the AIM chat protocol and rudimentary support for the Rendezvous (iChat) protocol.
Updated 12 Feb 2013
AJAPH
| Pop | 25.22 |
|---|---|
| Vit | 9.90 |
AJAPH is an object that can send AJAX requests and process the responses. It supports HTTP GET or POST requests, and synchronous or asynchronous requests with optional parameters. It can set a given page element to an image while waiting for the response. Request responses can be handled as HTML, XML, JSON, or text.
