158 projects tagged "Windows"
Updated 11 Apr 2011
ACL2
| Pop | 88.45 |
|---|---|
| Vit | 5.65 |
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 Nov 2004
AMLET
| Pop | 31.08 |
|---|---|
| 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 24 Feb 2007
APBS
| Pop | 29.90 |
|---|---|
| Vit | 47.69 |
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.
Updated 30 Sep 2007
ASCIIMathML
| Pop | 88.48 |
|---|---|
| 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 11 Jul 2012
ATLAS
| Pop | 270.74 |
|---|---|
| Vit | 28.59 |
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.
Updated 06 Nov 2012
Accord.NET Framework
| Pop | 85.79 |
|---|---|
| Vit | 4.95 |
Accord.NET provides statistical analysis, machine learning, image processing, and computer vision methods for .NET applications. The Accord.NET Framework extends the popular AForge.NET with new features, adding to a more complete environment for scientific computing in .NET.
Updated 12 May 2013
AnallogicA
| Pop | 37.83 |
|---|---|
| Vit | 13.20 |
AnallogicA is an application that generates logical tables based on logical propositions. It is possible to compare inverse equivalence or logical values. Results can be saved in text files, CSV format, and an internal format. The program supports up to 15 different variables, which in combination would be more than 32000 possibilities. It shows the replacements done step-by-step during the analysis, a special function for students.
Updated 01 Aug 2009
Animath
| Pop | 63.64 |
|---|---|
| Vit | 3.81 |
Animath is a 2D/3D Finite Element Method library entirely implemented in C++. It is suited for fluid-structure interaction simulation, and it is mathematically based on higher-order tetrahedral/triangular elements. It provides front-ends to matrix solvers and mesh generators.
Updated 11 Mar 2013
Antiprism
| Pop | 217.25 |
|---|---|
| Vit | 25.49 |
Antiprism polyhedron modelling software is a set of programs for creating, transforming, analyzing, and visualizing polyhedra.
Updated 13 May 2013
Armadillo C++ Library
| Pop | 462.85 |
|---|---|
| Vit | 147.87 |
Armadillo is a C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. 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 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.
