RSS 15 projects tagged "Windows"

Download Website Updated 14 Jan 2014 DOLFIN

Screenshot
Pop 340.65
Vit 60.15

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.

Download Website Updated 06 Nov 2012 Accord.NET Framework

Screenshot
Pop 74.46
Vit 3.48

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.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 38.77
Vit 3.59

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 17 Feb 2009 GOBLIN Graph Library

Screenshot
Pop 161.07
Vit 14.34

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 05 Jan 2009 SLFFEA

Screenshot
Pop 60.37
Vit 4.71

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.

No download Website Updated 28 Nov 2007 Optimization Solver for OpenOffice.org Calc

Screenshot
Pop 82.16
Vit 3.83

The Linear and Non-Linear Optimization Solver (or simply the Optimization Solver) is designed to compute an optimized set of decision variables that either maximize or minimize a given objective function while also satisfying a set of arbitrary constraints. It is widely used in the field of operations research, and is a very useful business and scientific tool that will help you make an informed decision on a multitude of complex scenarios that you may encounter in your day-to-day business operations or scientific research.

Download Website Updated 30 Sep 2007 ASCIIMathML

Screenshot
Pop 80.85
Vit 2.76

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.

Download No website Updated 26 Aug 2007 Lolimot

Screenshot
Pop 19.18
Vit 1.00

Lolimot is a fast neural network learning tool. LOLIMOT stands for LOcal LInear MOdel Tree. It belongs to the family of neuro-fuzzy models. This tool allows you to convert the models into C/C++/Matlab files.

Download Website Updated 18 May 2006 OPAL

Screenshot
Pop 23.81
Vit 1.46

OPAL (Open Physics Abstraction Layer) has two main goals: to provide a high-level physics interface, and to provide an abstract interface that is independent of the underlying physics engines. Although some similar libraries focus mainly on the second goal, OPAL is more focused on the high-level physics interface. Even though the abstract interface is important for comparing physics engines or using multiple physics engines in the same application, the primary concern is giving developers a simple, powerful interface with high-level constructs.

No download Website Updated 18 Dec 2004 MpNT

Screenshot
Pop 18.97
Vit 58.38

MpNT is a multi-precision number theory library that provides a base for building cryptographic applications. It may also be used in any other domain where efficient large number computations are required. The library supports integer, modular, and floating point arithmetic with practically unlimited precision. It is both speed efficient and highly portable without disregarding code structure and clarity.

Screenshot

Project Spotlight

Barman for PostgreSQL

A backup and recovery manager for PostgreSQL.

Screenshot

Project Spotlight

cvs-fast-export

A tool that analyzes RCS files and emits an equivalent history in the form of a fast-import stream.