RSS 22 projects tagged "Linux"

Download Website Updated 21 Dec 2013 GNU TeXmacs

Screenshot
Pop 836.91
Vit 90.54

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.

Download Website Updated 02 Sep 2013 calc

Screenshot
Pop 280.18
Vit 30.88

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 Website Updated 26 Jun 2013 Genius

Screenshot
Pop 240.96
Vit 30.64

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.

Download Website Updated 01 Apr 2012 gdcalc

Screenshot
Pop 69.63
Vit 8.27

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 28 Apr 2011 Proof General

Screenshot
Pop 66.50
Vit 3.93

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

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 15 Aug 2008 GNU PSPP

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

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 70.94
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).

Download Website Updated 07 Apr 2005 OBJ3

Screenshot
Pop 47.59
Vit 2.47

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.

No download Website Updated 02 Nov 2004 Cactus

Screenshot
Pop 153.56
Vit 3.46

Cactus is a general, modular, parallel environment for solving systems of partial differential equations. The code has been developed over many years by a large international collaboration of numerical relativity and computational science research groups and can be used to provide a portable platform for solving any system of partial differential equations.

Screenshot

Project Spotlight

Ganeti

Virtual server management software.

Screenshot

Project Spotlight

libpet

A polyhedral extraction tool (PET).