RSS 504 projects tagged "Windows"

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.

Download Website Updated 23 Aug 2005 ADF MAGE-ML Tool

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

No download Website Updated 09 May 2003 ADIC

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

Download Website Updated 26 Jul 2007 AGM Build

Screenshot
Pop 23.92
Vit 49.57

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.

No download Website Updated 01 Aug 2001 AI Mind

Screenshot
Pop 73.27
Vit 68.14

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.

Download Website Updated 23 Nov 2004 AMLET

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

No download Website Updated 24 Feb 2007 APBS

Screenshot
Pop 23.75
Vit 51.09

APBS is a software package for the numerical solution of the Poisson-Boltzmann equation (PBE), one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum electrostatics plays an important role in several areas of biomolecular simulation, including simulation of diffusional processes to determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation and binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants and aid in rational drug design, and biomolecular titration studies.

Download Website Updated 10 Nov 2013 ATLAS

Screenshot
Pop 312.48
Vit 42.09

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.

No download Website Updated 07 May 2001 Alamin GSM SMS Gateway

Screenshot
Pop 210.03
Vit 2.73

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.

Download Website Updated 11 Mar 2008 Algraeph

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

Screenshot

Project Spotlight

Synth

A powerful C++ templating framework.

Screenshot

Project Spotlight

Xfce WMdock Plugin

A compatibility layer for Window Maker dockapps for XFCE.