291 projects tagged "Mac OS X"
Updated 11 Apr 2011
ACL2
| Pop | 86.26 |
|---|---|
| Vit | 5.64 |
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.51 |
|---|---|
| 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 | 16.12 |
|---|---|
| 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 30 Sep 2007
ASCIIMathML
| Pop | 86.52 |
|---|---|
| Vit | 2.84 |
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.
Updated 02 Sep 2001
ATG Dynamo integration for JBuilder
| Pop | 18.28 |
|---|---|
| Vit | 65.44 |
ATG Dynamo integration for JBuilder is a JBuilder 5 plugin that makes it easy to deploy J2EE applications to the ATG Dynamo Application Server version 5.1 (DAS). It can be installed and run with the other JBuilder 5 plugins such as BEA WebLogicServer 5.1, BEA WLS 6, IBM WebSphere 3.5, Borland AS 4.5, etc.
Updated 05 Apr 2007
Absolut Engine content management system
| Pop | 72.15 |
|---|---|
| Vit | 2.43 |
Absolut Engine is a PHP/MySQL framework built on the basis of a former news publishing system. It features 3 layer access, article posting, editing, and deleting. Included are a basic image and file manager as well as a related articles manager. Rich text editing is provided via a built-in WYSIWYG editor that produces XHTML 1.0 Strict compliant code. It is easy to extend via the module functionality. It is fully configurable and easy-to-use. Modules include discussions, surveys, RSS feed export and import, search engine optimization, a messaging system, weather reports, and Google Maps.
Updated 12 Apr 2005
AccessForm
| Pop | 11.79 |
|---|---|
| Vit | 1.00 |
AccessForm is a small modification of PEAR's HTML_QuickForm_Renderer_ITDynamic that makes it more compliant with the latest WCAG accessibility guidelines. It provides accesskey support, and adds a tiny hack to remove non-XHTML 1.0 compliant code from generated forms.
Updated 29 Nov 2005
Accha
| Pop | 16.49 |
|---|---|
| Vit | 1.42 |
Accha is a program intended for helping people learn the Hindi alphabet, Devanāgarī. It includes audio of the correct pronunciations as well as many other features.
Updated 08 Sep 2008
AcchaNi
| Pop | 33.35 |
|---|---|
| Vit | 1.78 |
AcchaNi is a program that assists with learning Japanese. It is cross-platform, requires no special Japanese fonts or encoding, has built-in hiragana input, and supports iterative learning modes.
Updated 10 Aug 2006
Active Scrolling Text & News Scroller
| Pop | 19.95 |
|---|---|
| Vit | 1.00 |
Active Scrolling Text & News Scroller is a JavaScript function that is capable of scrolling any HTML content, including text and images. The style, size, scrolling speed, and page pausing of the scrolled content can be configured. A configurator tool is provided, enabling easy installation.
