RSS 57 projects tagged "Linux"

No download Website Updated 02 Nov 2004 Cactus

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

Download Website Updated 02 Sep 2013 calc

Screenshot
Pop 276.95
Vit 30.56

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 164.12
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 01 Apr 2012 gdcalc

Screenshot
Pop 69.91
Vit 8.24

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 21 Dec 2013 GNU TeXmacs

Screenshot
Pop 828.81
Vit 88.72

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 31 Oct 2001 ixlib

Screenshot
Pop 44.98
Vit 2.56

ixlib is a C++ tools library based upon the STL. It provides garbage collection, a small well-integratable JavaScript interpreter, linear algebra components (e.g., linear solver, LU decomposition), planar geometry, polygons, automatic arrays, rasterization for geometric primitives and polygons, regular expressions and XML parsing (non-DTD). Its main design goals were simplicity and small size.

Download Website Updated 07 Apr 2005 OBJ3

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

Download Website Updated 25 Aug 2004 The Graph Template Library

Screenshot
Pop 84.00
Vit 3.30

GTL can be seen as an extension of the Standard Template Library STL to graphs and fundamental graph algorithms. It is a platform independent and extendible C++ library, and is a useful aid to any software designer. It contains the classes needed to work with graphs, nodes, and edges, and some fundamental algorithms as building blocks for more complex graph algorithms. Customized algorithms can be developed by experienced programmers.

Download Website Updated 21 Sep 2007 Yacas

Screenshot
Pop 77.64
Vit 10.54

Yacas is a general purpose, easy to use Computer Algebra System (a CAS is a program that can be used to do symbolic manipulation of mathematical expressions). It is built on top of its own programming language designed for this purpose, in which new algorithms can easily be implemented. In addition, it comes with extensive documentation on the functionality implemented and methods used to implement them.

Download Website Updated 03 Mar 2013 Botan

Screenshot
Pop 447.90
Vit 42.43

Botan is a crypto library written in C++. It provides a variety of cryptographic algorithms, including common ones such as AES, MD5, SHA, HMAC, RSA, Diffie-Hellman, DSA, and ECDSA, as well as many others that are more obscure or specialized. It also offers SSL/TLS (client and server), X.509v3 certificates and CRLs, and PKCS #10 certificate requests. A message processing system that uses a filter/pipeline metaphor allows for many common cryptographic tasks to be completed with just a few lines of code. Assembly and SIMD optimizations for common CPUs offers speedups for critical algorithms like AES and SHA-1.

Screenshot

Project Spotlight

Highlight

A universal source code to formatted text converter.

Screenshot

Project Spotlight

Vilistextum

A fast HTML to text converter.