RSS 189 projects tagged "Windows"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.62
Vit 4.96

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.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.

No download Website Updated 24 Feb 2007 APBS

Screenshot
Pop 23.75
Vit 51.13

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.02
Vit 41.47

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 11 Sep 2004 Alliance CAD System

Screenshot
Pop 88.66
Vit 1.74

Alliance CAD System is a set of EDA tools and portable cell libraries for VLSI design. It covers a wide range of the standard design flow (from VHDL up to layout). It includes a VHDL simulator, RTL synthesis tools, place and route tools, netlist extractor, DRC, and a layout editor.

Download Website Updated 10 Nov 2013 Amide's a Medical Imaging Data Examiner

Screenshot
Pop 87.12
Vit 9.35

AMIDE (Amide's a Medical Imaging Data Examiner) is a tool for viewing, analyzing, and registering volumetric medical imaging data sets. It's been written on top of GTK+, and runs on any system that supports this toolkit (Linux, Windows, Mac OS X with fink, etc.).

Download Website Updated 07 Apr 2014 Armadillo C++ Library

Screenshot
Pop 612.94
Vit 102.63

Armadillo is a C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. The API is deliberately similar to Matlab's. Integer, floating point, and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Various matrix decompositions are provided through optional integration with LAPACK and ATLAS numerics libraries. A delayed evaluation approach, based on template meta-programming, is used (during compile time) to combine several operations into one and reduce or eliminate the need for temporaries.

No download Website Updated 12 Sep 2013 Aseba

Screenshot
Pop 91.00
Vit 6.49

Aseba is an event-based architecture for distributed control of mobile robots. It targets integrated multi-processor robots or groups of single-processor units, real or simulated. The core of aseba is a lightweight virtual machine tiny enough to run even on microcontrollers. Robots are programmed in a user-friendly scripting language using a cozy integrated development environment.

Download Website Updated 20 Apr 2014 Asymptote

Screenshot
Pop 725.50
Vit 451.06

Asymptote is a powerful descriptive 2D and 3D vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. It provides for figures the same high-quality level of typesetting that LaTeX does for scientific text. Asymptote is a programming language as opposed to just a graphics program. It can exploit the best features of script (command-driven) and graphical user interface (GUI) methods. High-level graphics commands are implemented in the language itself, allowing them to be easily tailored to specific applications.

Download Website Updated 25 Jul 2004 BClock

Screenshot
Pop 30.85
Vit 2.90

BinClock is a program which shows the system time in a binary format. It supports showing the time with seven different colors, and it can run a loop that prints the time every second. The colors can be configured with a config file.

Screenshot

Project Spotlight

PeRKy

A tool for managing software requirements.

Screenshot

Project Spotlight

Polipo

A lightweight caching Web proxy.