Catálogo de Software Libre

Coq Platform 2022.04.1 (64 bits) 24/06/22 420.3 MB

Coq es un sistema de demostración automática de teoremas.

FANN 2.2.0 24/01/12 2.1 MB

FANN (Fast Artificial Neural Network) es una biblioteca de redes neuronales multicapa escrita en C (aunque también incluye versiones para C++, PHP, PERL, Python, Delphi, .NET o Mathematica).

FreeFEM++ 4.11 (64 bits) 05/04/22 187.0 MB

FreeFem++ es un solucionador de ecuaciones diferenciales parciales que se deben expresar con su propio lenguaje de script, similar a C++.

Gambit 16.0.2 28/01/22 80.1 MB

Gambit es una colección de herramientas y programas dirigidos a la construcción y análisis de juegos finitos extensivos y de forma normal.

Golly 4.1 (64 bits) 30/11/21 14.8 MB

Golly es un simulador del Juego de la vida de J.H. Conway y otros autómatas celulares.
El programa no necesita instalación: hay que descomprimir el archivo zip en una carpeta y ejecutar el programa Golly.exe.

gretl 2022.a (64 bits) 02/02/22 34.3 MB

gretl (Gnu Regression, Econometrics and Time-series Library) es un completo paquete de análisis econométrico.

LPSolve IDE 5.5.2.11 31/12/20 3.3 MB

LPSolve IDE es un interfaz gráfico para utilizar lp_solve, una biblioteca de resolución de problemas de programación lineal.

Matrex 2.2 (64 bits) 14/01/12 12.4 MB

Matrex es una hoja de cálculo vectorial, en la que las funciones se aplican a matrices de datos en vez de a celdas individuales.
Es un programa Java, por lo que se necesita tener instalado Java Runtime Environment.