RSS 15 projects tagged "Windows"

Download Website Updated 31 Oct 2001 ixlib

Screenshot
Pop 47.25
Vit 2.57

ixlib is a C++ tools library based upon the STL. It provides garbage collection, a small well-integratable JavaScript interpreter, linear algebra components (e.g., linear solver, LU decomposition), planar geometry, polygons, automatic arrays, rasterization for geometric primitives and polygons, regular expressions and XML parsing (non-DTD). Its main design goals were simplicity and small size.

No download Website Updated 03 Dec 2002 LinAl

Screenshot
Pop 55.48
Vit 1.55

LinAl was designed to bring together C++ and FORTRAN. At the same time LinAl is supposed to be easy to use, fast, and reasonably safe. The LinAl library is based on STL techniques and uses STL containers for the storage of matrix data and STL algorithms where feasible. Low level, algebraic operators, linear solvers, and eigenvalue solvers are implemented, based on calls to BLAS, LAPACK, and CGSOLX.

Download Website Updated 05 Jan 2009 SLFFEA

Screenshot
Pop 68.63
Vit 5.02

SLFFEA stands for San Le's Free Finite Element Analysis. It is a package of scientific software and graphical user interfaces for use in finite element analysis.

Download Website Updated 17 Feb 2009 GOBLIN Graph Library

Screenshot
Pop 177.96
Vit 15.20

The GOBLIN project consists of a C++ class library for a large series of graph optimization problems, GOSH, an extension of the Tcl/Tk scripting language to graph objects, and GOBLET, a graphical user interface to the library functions. GOBLET includes a graph editor and supports the standard graph layout methods.

Download Website Updated 10 Apr 2013 DOLFIN

Screenshot
Pop 370.27
Vit 86.50

DOLFIN is the C++ interface of the FEniCS project for the Automation of Computational Mathematical Modeling (ACMM), providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms through FFC; automatic and efficient assembly of linear systems; and support for general families of finite elements.

No download Website Updated 06 Oct 2003 Maximum Entropy Modeling Toolkit

Screenshot
Pop 46.48
Vit 59.29

The Maximum Entropy Toolkit provides a set of tools and library for constructing maximum entropy (maxent) models in either Python or C++. It features conditional maximum entropy models, L-BFGS and GIS parameter estimation, Gaussian Prior smoothing, a C++ API, a Python extension module, a command line utility, and good documentation.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 44.29
Vit 3.82

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Download Website Updated 30 Sep 2007 ASCIIMathML

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

No download Website Updated 04 Jun 2004 gaol

Screenshot
Pop 15.97
Vit 1.42

Gaol is a C++ library for interval arithmetic. It is designed to be fast and easy to use. It offers "relational" versions of common functions, which can be used to implement some algorithms for interval constraint solvers.

Download No website Updated 25 May 2004 Project Lima

Screenshot
Pop 11.49
Vit 1.00

Project Lima is a software tool for factorizing arbitrary integers using probabilistic algorithms and distributed computing methods.

Screenshot

Project Spotlight

NxWidgets

A graphics package for the NuttX RTOS.

Screenshot

Project Spotlight

Samba

Tools to access to a server's filespace and printers via SMB.