RSS 235 projects tagged "Linux"

No download Website Updated 27 Mar 2011 3D Lissajous Figures

Screenshot
Pop 50.04
Vit 4.26

qliss3d renders 3D Lissajous figures (figures made of a different sine function for each dimension) with a Qt interface. Users can look at the figures from any viewing position they like and even "listen" to the sound of the figures.

Download Website Updated 09 Aug 2005 3D Sierpinski fractal generator

Screenshot
Pop 23.83
Vit 56.35

3D Sierpinski fractal generator is a 3D Sierpinski fractal generator that uses OpenGL. It has several different sets of attractors, allows rendering parameters to be changed, and is fun to play with.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.51
Vit 4.97

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.

Download Website Updated 23 Nov 2004 AMLET

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

No download Website Updated 19 May 2007 APFP

Screenshot
Pop 32.62
Vit 3.75

Apfp (Arbitrary Precision Floating Point) is a Ruby class for performing arbitrary precision floating point calculations. It also includes a class Apc for calculating with arbitrary precision complex numbers. It also contains a Real class for built-in reals. Both classes keep an estimate of the accumulated error.

Download Website Updated 30 Sep 2007 ASCIIMathML

Screenshot
Pop 80.73
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 Website Updated 06 Nov 2012 Accord.NET Framework

Screenshot
Pop 74.78
Vit 3.47

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 07 Apr 2011 Akaroa

Screenshot
Pop 49.02
Vit 3.27

The Akaroa research project is aimed at improving the credibility of results from quantitative stochastic simulation using automated sequential analysis, and speeding up such simulations using Multiple Replications In Parallel (MRIP) to harness the computing power of a network of inexpensive workstations.

Download No website Updated 12 May 2013 AnallogicA

Screenshot
Pop 18.00
Vit 2.08

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.

Download Website Updated 01 Aug 2009 Animath

Screenshot
Pop 53.39
Vit 3.72

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.

Screenshot

Project Spotlight

segatex

A GUI tool to configure SELinux policy.

Screenshot

Project Spotlight

unco

Undo any command.