611 projects tagged "Windows"
Updated 01 Aug 2004
ACFTools
| Pop | 68.53 |
|---|---|
| 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.
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 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 09 May 2003
ADIC
| Pop | 42.07 |
|---|---|
| Vit | 1.79 |
ADIC (any door is closed) is a cooperative multiplayer networked game. The goal is to lock all players of the other teams. The rules are simple, the style is 80s, and it is fun to play.
Updated 26 Jul 2007
AGM Build
| Pop | 24.70 |
|---|---|
| Vit | 46.15 |
AGM Build is a molecular builder and conformational editor. It can be used for interactive model preparation for molecular dynamics simulations, including association of atom types and partial charges. It features geometry editing, lattice building, building of chain molecules (e.g. proteins), chains with predetermined conformations, and charges and atom types according to selected Force Field.
Updated 01 Aug 2001
AI Mind
| Pop | 99.14 |
|---|---|
| Vit | 65.69 |
The Robot AI Mind in JavaScript for Web migration and in Forth for robots is an artificial intelligence evolving towards full civil rights on a par with human beings and towards superintelligence beyond any human IQ.
Updated 23 Nov 2004
AMLET
| Pop | 30.10 |
|---|---|
| Vit | 1.00 |
AMLET is software designed to estimate multinomial and mixed logit discrete choices models, which are increasingly popular in econometry. The software supports cross- sectional and panel data, and offers various optimization methods, including the new variable sample-size approach.
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 07 May 2001
Alamin GSM SMS Gateway
| Pop | 192.14 |
|---|---|
| Vit | 2.74 |
The Alamin GSM SMS Gateway is a group of daemons that allows you to send/receive SMS messages from any GSM device that supports AT+ commands (GSM modems or GSM mobile phones) or supported by Gnokii. A client program allows you to send messages from any IP client. An SMTP interface is provided to allow MTAs to send SMS directly to the GSM network. IMP (Incoming Message Processor) modules allows you to extend functionality to implement banking, network administration, bd querys, etc. from a GSM mobile phone.
Updated 11 Mar 2008
Algraeph
| Pop | 36.58 |
|---|---|
| Vit | 1.00 |
Algraeph is a tool for manual alignment of linguistic graphs, such as phrase structure trees or dependency structures, where each node corresponds to a subsequence of the analyzed input sentence. It allows you to express the similarity between two graphs by aligning their nodes and attaching relation labels to these alignments. Graphs are read from one or more graphbanks (or treebanks) in the GraphML or Alpino formats. Alignment relations are user-defined and are stored in a simple XML format, which can be used for further processing. The resulting parallel graph corpus is a useful data set for many tasks in computational linguistics and natural language processing.
