Projects tagged ‘mathematics’ and ‘programming’

Jump to tag:

Projects tagged ‘mathematics’ and ‘programming’

Filtered by Project Tags mathematics programming

Refine results Project Tags science (12) math (12) library (9) c++ (8) tools (7) linux (7) maths (6) visualization (6) numerical (6) windows (5) coding (4) language (4)

[19 total ]
39

gnuplot development

   
Primary Language: C/C++

gnuplot plots 2d and 3d graphs, from a data file or with a formula. It has an interactive mode with online help, or it can be used non-interactively. gnuplot does function fitting to data sets, and it does output to many terminals, among which are PostScript, X11 display, PNG, and GIF (via the old gd library).

Metrics updated about 9 hours ago

28

GNU Octave

   
Primary Language: C/C++ Licensed as: GNU General Public License 2.0

Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically, and for performing other numerical experiments. It may also be used as a batch-oriented language.

Metrics updated about 2 hours ago

23

CLISP - an ANSI Common Lisp

   
Primary Language: shell script Licensed as: GNU General Public License 2.0 or later

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and foreign language interface which runs on most UNIXes and Win32.

Metrics updated about 19 hours ago

20

Anjuta C/C++ IDE

   
Primary Language: C/C++ Licensed as: GNU General Public License 2.0

Anjuta is a versatile Integrated Development Environment (IDE) for C and C++ in GNU/Linux. It has been written for GTK/GNOME, and features a number of advanced programming facilities. These include project management, application wizards, an onboard interactive debugger, and a powerful source editor with source browsing and syntax highlighting.

Metrics updated about 10 hours ago

19

Maxima -- GPL CAS based on DOE-MACSYMA

   
Primary Language: Lisp

Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra. It features plotting over the network via netmath, computations over the network, extensive testing on a large array of problems, a source level debugger for ... [More] maxima code, ease of extension in fundamentally new ways, access to Common Lisp and portability to many systems. [Less]

Metrics updated about 3 hours ago

17

SciPy

   
Primary Language: C++ Licensed as: BSD-ish License

SciPy is a collection of mathematical routines that builds on the NumPy array extension. It collects a large number of general-purpose scientific and engineering routines. With NumPy + SciPy, you can use Python much as you would use Octave, Scilab, Matlab, or IDL

Metrics updated about 4 hours ago

7

Sage: Open Source Mathematics Software

 
Primary Language: Python Licensed as: GNU General Public License 2.0

Sage is mathematical software, very much in the same vein as Matlab, MAGMA, Maple, and Mathematica. Unlike these systems, every component of Sage is GPL-compatible. The interpretaive language of Sage is Python, a mainstream programming language. Use ... [More] Sage for studying a huge range of mathematics, including algebra, calculus, elementary to very advanced number theory, cryptography, numerical computation, commutative algebra, group theory, combinatorics, graph theory, and exact linear algebra. It is available for download from sagemath.org and its mirrors in source or binary form. If you have any questions and/or problems please report them to the Google groups sage-devel or sage-support. You can also drop by in #sage-devel or #sage-support in freenode. [Less]

Metrics updated 06 May 08

6

GSL - GNU Scientific Library

   
Primary Language: C/C++ Licensed as: GNU General Public License 2.0

The GNU Scientific Library (GSL) is a numerical library for C and C++ programmers. The library provides a wide range of mathematical routines such as random number generators, special functions and least-squares fitting. There are over 1000 functions in total with an extensive test suite.

Metrics updated 27 Apr 08

4

Coq proof assistant

 
Primary Language: C/C++ Licensed as: GNU Lesser General Public License 2.1

Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * to define functions or predicates, * to state mathematical theorems and software specifications, * to develop ... [More] interactively formal proofs of these theorems, * to check these proofs by a relatively small certification "kernel". [Less]

Metrics updated 22 Jun 08

4

Atlas

 
Primary Language: C++

The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. It provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.

Metrics updated about 21 hours ago

Popular Tags

Project Tags java c++ web development linux php python library programming tools