RSS 80 projects tagged "Windows"

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.

No download Website Updated 07 Dec 2010 BALL

Screenshot
Pop 43.47
Vit 3.56

The Biochemical ALgorithms Library (BALL) is a framework for rapid application development in molecular modeling and structural bioinformatics. BALL provides an extensive set of data structures as well as classes for molecular mechanics, advanced solvation methods, comparison and analysis of protein structures, file import/export, NMR shift prediction, and visualization. Its extensibility results from an object-oriented and generic programming approach.

Download Website Updated 10 Jul 2013 BRL-CAD

Screenshot
Pop 489.99
Vit 24.69

BRL-CAD is a powerful constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing support for rendering and geometric analysis, path-tracing for realistic image synthesis, network distributed framebuffer support, and image and signal-processing tools.

Download Website Updated 19 Jul 2002 Chart2D

Screenshot
Pop 74.03
Vit 1.78

Chart2D is a library written in Java for adding 2D charts to Java programs (or for exporting them to images). It can draw pie, line, vertical and horizontal bar, and scatter-plot charts. It can also draw charts with any combination of lines, bars, and dots.

Download Website Updated 22 May 2011 Chemistry Development Kit

Screenshot
Pop 113.98
Vit 11.45

The Chemistry Development Kit (CDK) is a library of Java classes for chemo-, bioinformatics, computational chemistry, and chemometrics. It provides important algorithms like substructure search, SMILES, Gasteiger charges, QSAR descriptor calculation, 3D structure generation, 2D layout and rendering, many IO formats, atom typing, and more.

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 110.63
Vit 1.00

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

Download Website Updated 28 Oct 2009 Coin

Screenshot
Pop 262.70
Vit 6.81

Coin is an implementation of Open Inventor. Open Inventor is the de facto standard API for retained-mode 3D graphics programming. Open Inventor has a highly extensible design, and has been designed to allow for rapid development of highly interactive 3D graphics applications in the fields of CAD, engineering, scientific computing, simulation, VRML, and visualization.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 39.12
Vit 3.60

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 14 Jan 2014 DOLFIN

Screenshot
Pop 343.33
Vit 60.47

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 27 Apr 2007 Dimenso

Screenshot
Pop 14.80
Vit 50.46

Dimenso is a library for performing dimension-aware calculations in C# and Java. It offers numeric types that have dimensions, expressed in terms of base dimensions M (mass), L (length), T (time), and Q (electric charge). Playing to the strengths of each language, C# types have operator overloads to allow them to be used as numbers, while Java types mimic the BigDecimal with respect to arithmetic methods.

Screenshot

Project Spotlight

Task Coach

A friendly task manager.

Screenshot

Project Spotlight

fio

A flexible I/O tester/benchmarker.