RSS 52 projects tagged "Windows"

Download Website Updated 11 Apr 2011 ACL2

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

No download Website Updated 24 Feb 2007 APBS

Screenshot
Pop 23.94
Vit 51.14

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 311.20
Vit 41.35

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 07 Apr 2014 Armadillo C++ Library

Screenshot
Pop 613.79
Vit 99.59

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.

Download Website Updated 20 Apr 2014 Asymptote

Screenshot
Pop 744.13
Vit 386.22

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

No download Website Updated 31 Jan 2011 BLOPEX

Screenshot
Pop 12.08
Vit 1.00

Block Locally Optimal Preconditioned Eigenvalue Xolvers (BLOPEX) is a package, written in C and MATLAB, that includes an eigensolver implemented with the Locally Optimal Block Preconditioned Conjugate Gradient Method (LOBPCG). BLOPEX supports parallel MPI-based computations. BLOPEX is incorporated in the HYPRE package and is available as an external block to the PETSc package. Its main features are a matrix-free iterative method for computing several extreme eigenpairs of symmetric positive generalized eigenproblems; a user-defined symmetric positive preconditioner; robustness with respect to random initial approximations, variable preconditioners, and ill-conditioning (up to 10^16) of the stiffness matrix; and apparently optimal convergence speed.

Download Website Updated 14 Nov 2013 CLHep

Screenshot
Pop 113.74
Vit 27.65

CLHep is intended to be a set of HEP-specific foundation and utility classes such as random generators, physics vectors, geometry, and linear algebra.

No download Website Updated 20 Aug 2008 CONSIDEO MODELER

Screenshot
Pop 85.48
Vit 1.70

CONSIDEO MODELER allows you to mindmap a complex problem, analyse it qualitatively to discover levers and bottlenecks, and even to simulate it by automatically building a system dynamics model. One can integrate any external data and setup a customized management cockpit for playing out scenarios. It is useful for organizational problems, project management, financial analysis, production processes, score cards, and much more.

No download Website Updated 02 Nov 2004 Cactus

Screenshot
Pop 153.49
Vit 3.46

Cactus is a general, modular, parallel environment for solving systems of partial differential equations. The code has been developed over many years by a large international collaboration of numerical relativity and computational science research groups and can be used to provide a portable platform for solving any system of partial differential equations.

Screenshot

Project Spotlight

Firejail

A Linux namespaces sandbox program.

Screenshot

Project Spotlight

XiX Music Player

A music player for MP3, Ogg, and FLAC files.