Select a tag to browse associated projects and drill deeper into the tag cloud.
Anjuta DevStudio
No analysis available
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
Mostly written in language not available
Licenses:
gpl
mcrypt
M
Analyzed 11 months ago
mcrypt is a program for encrypting files or streams. It is intended to be a replacement for the old UNIX crypt. It uses well-known and well-tested algorithms like BLOWFISH, AES, ARCFOUR, CAST-128, and more in several modes of operation. It also has a compatibility mode with the old UNIX crypt program and the des program found in Solaris.
Licenses:
No declared licenses
Scilab
No analysis available
(from the scilab homepage...)
Scilab is a scientific software package for numerical computations providing a powerful open computing environment for engineering and scientific applications.
Scilab is an open source software. Since 1994 it has been distributed freely along with the source code
Mostly written in language not available
Licenses:
No declared licenses
GSL - GNU Scientific Library
Claimed by GNU Analyzed 11 months ago
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.
Licenses:
gpl3_or_l...
PETSc
Claimed by Argonne National Laboratory Analyzed about 3 hours ago
PETSc, pronounced PET-see (the S is silent), is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for parallelism.
Licenses:
bsd_2clau...
Open Dynamics Engine
O
Analyzed about 10 hours ago
ODE is an open source, high performance library for simulating rigid body dynamics. It is fully featured, stable, mature and platform independent with an easy to use C/C++ API. It has advanced joint types and integrated collision detection with friction. ODE is useful for simulating vehicles
Licenses:
No declared licenses
Math.NET Numerics
Analyzed about 11 hours ago
A mathematical open source library written in C#/.Net, aiming to provide a self contained clean framework for symbolic algebraic and numerical / scientific computations.
GMP
Claimed by GNU No analysis available
GMP is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no practical limit to the precision except the ones implied by the available memory in the machine GMP runs on. GMP has a rich set of functions, and the functions have a regular interface.
Mostly written in language not available
Licenses:
lgpl3
Coq proof assistant
Analyzed 1 day ago
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 interactively formal proofs of these theorems,
* to
