RSS 211 projects tagged "Linux"

Download Website Updated 02 Sep 2013 calc

Screenshot
Pop 279.55
Vit 30.81

Calc is arbitrary precision arithmetic system that uses a C-like language. It's useful as a calculator, an algorithm prototype, and as a mathematical research tool. More importantly, calc provides a machine-independent means of computation. Calc comes with a rich set of builtin mathematical and programmatic functions.

Download No website Updated 09 Nov 2001 ccmath

Screenshot
Pop 166.32
Vit 2.62

CCMATH is a mathematics library, coded in C, that contains functions for linear algebra, numerical integration, geometry and trigonometry, curve fitting, roots and optimization, Fourier analysis, simulation generation, statistics, special functions, sorts and searches, time series models, complex arithmetic, and high precision computations.

Download Website Updated 30 Jan 2001 easter

Screenshot
Pop 29.90
Vit 1.00

Easter calculates and displays the day in which Easter falls in a given year. It can also display Palm Sunday, Ash Wednesday, or the full list of Lenten dates, or the number of days resting to any of these.

Download Website Updated 16 Mar 2004 funct

Screenshot
Pop 30.25
Vit 2.58

The program funct is devoted to the (numerical) study of real or complex functions f(x) of one real variable x. It can produce graphics on X11 windows, Postscript files, or PNG files. funct uses the command interpreter library interpcom.

No download Website Updated 28 Dec 2003 gant

Screenshot
Pop 41.79
Vit 2.01

This project is a QT implementation of the Generalized Langton Ant, which lives on a torus.

Download Website Updated 01 Apr 2012 gdcalc

Screenshot
Pop 69.69
Vit 8.26

gdcalc is a GTK+-based Reverse Polish Notation calculator for Unix and Linux with stats, financial, programming and scientific functions. It features a visible stack, registers, and stack control keys, with some included conversions based on units(1).

Download Website Updated 26 Jun 2013 Genius

Screenshot
Pop 240.96
Vit 30.59

Genius is an arbitrary precision integer and multiple precision floating point calculator. It includes its own programming language similar in some aspects to C, bc, or Pascal. It can deal with rational numbers and complex numbers. It has matrix support as well. It uses the gmp library so it is very fast for calculations of large numbers. It has a command line and a GNOME interface. The GNOME interface supports plotting functions and 3D surfaces.

No download Website Updated 15 Aug 2008 GNU PSPP

Screenshot
Pop 58.33
Vit 3.33

PSPP is a free version of SPSS, a proprietary program. It performs statistical analysis of sampled data. It is multi-platform and comes with GUI and command line interfaces.

Download Website Updated 25 Apr 2002 GtkMathView Widget

Screenshot
Pop 61.93
Vit 3.20

GtkMathView is a GTK widget for rendering MathML documents. It is meant to be a standalone, light-weight component and not a full browser. GTK applications can use the widget as a window for displaying mathematical formulas and doing simple interactions. Among other features, GtkMathView includes support for breaking long mathematical expressions, rendering of stretchy operators, and provides a customizable support for additional fonts.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 69.61
Vit 3.17

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

Screenshot

Project Spotlight

LanguageTool

A style and grammar checker for English, Polish, German, and other languages

Screenshot

Project Spotlight

skalibs

Public domain general-purpose libraries.