783 projects tagged "OS Independent"
Updated 18 Oct 2005
2DPathfinder
| Pop | 50.97 |
|---|---|
| Vit | 1.43 |
2DPathfinder is a very fast C library that performs A-Star pathfinding in 2d maps. It's highly portable and easy to use.
Updated 06 Mar 2003
A practical lambda-calculator
| Pop | 28.60 |
|---|---|
| Vit | 2.18 |
A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.
Updated 11 Apr 2011
ACL2
| Pop | 86.35 |
|---|---|
| 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 19 Jan 2007
ACT-RBOT + MRS
| Pop | 36.74 |
|---|---|
| Vit | 2.06 |
ACT-RBOT + MRS is a cognitive agent-based social simulation toolkit (RBOT+MRS) and production system based on ACT-R for modelling single actor cognitive experiments (RBOT) and multiple actors in a simulated (semiotic) world (RBOT + MRS).
Updated 23 Aug 2005
ADF MAGE-ML Tool
| Pop | 16.03 |
|---|---|
| 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 Apr 2004
ADS Dexter
| Pop | 33.69 |
|---|---|
| Vit | 1.00 |
Dexter is a little Java program that interactively or semi-automatically extracts data from scanned graphs. In its applet incarnation it is used by the Astrophysics Data System. A rudimentary standalone version is also provided.
Updated 01 Dec 2006
AML Cartography
| Pop | 26.10 |
|---|---|
| Vit | 1.00 |
AML Cartography provides AML and C code and documentation for cartography within the ARC/INFO geographic information system.
Updated 30 Sep 2007
ASCIIMathML
| Pop | 85.86 |
|---|---|
| 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 11 Jul 2012
ATLAS
| Pop | 269.69 |
|---|---|
| Vit | 28.39 |
The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. It provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.
Updated 19 Jan 2012
AceWiki
| Pop | 81.28 |
|---|---|
| Vit | 7.64 |
AceWiki is a semantic wiki that is powerful and at the same time easy to use. Making use of the controlled natural language ACE, the formal statements of the wiki are shown in a way that looks like natural English. In order to help the users to write correct ACE sentences, AceWiki provides a predictive editor.
