RSS 796 projects tagged "OS Independent"

Download Website Updated 18 Oct 2005 2DPathfinder

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

No download Website Updated 06 Mar 2003 A practical lambda-calculator

Screenshot
Pop 24.29
Vit 2.17

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.

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.

No download Website Updated 19 Jan 2007 ACT-RBOT + MRS

Screenshot
Pop 34.79
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).

Download Website Updated 23 Aug 2005 ADF MAGE-ML Tool

Screenshot
Pop 13.67
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 28 Apr 2004 ADS Dexter

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

Download Website Updated 01 Dec 2006 AML Cartography

Screenshot
Pop 18.08
Vit 1.00

AML Cartography provides AML and C code and documentation for cartography within the ARC/INFO geographic information system.

Download Website Updated 30 Sep 2007 ASCIIMathML

Screenshot
Pop 80.85
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 10 Nov 2013 ATLAS

Screenshot
Pop 311.65
Vit 42.22

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.

Download Website Updated 19 Jan 2012 AceWiki

Screenshot
Pop 65.32
Vit 6.46

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.

Screenshot

Project Spotlight

Dwarrendelf

A fairy tale RPG game for the Game Boy Advance.

Screenshot

Project Spotlight

SCHEDIT VIEWER

schematux