Ports Search

From the website: Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". Coq is based on a logical framework called "Calculus of Inductive Constructions" extended by a modular development system for theories. Coq is distributed under the GNU Lesser General Public Licence Version 2.1 (LGPL). CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed.

galculator is a GTK2/GTK3 based calculator with ordinary notation/reverse polish notation (RPN), a formula entry mode, different number bases (DEC, HEX, OCT, BIN) and different units of angular measure (DEG, RAD, GRAD). It supports quad-precision floating point and 112-bit binary arithmetic.

Dynare is a software platform for handling a wide class of economic models, in particular dynamic stochastic general equilibrium (DSGE) and overlapping generations (OLG) models.

Eigen 2 is a C++ template library for linear algebra (vectors, matrices, and related algorithms).

GeoGebra is a dynamic mathematics software that joins geometry, algebra and calculus. It is developed for education in secondary schools by Markus Hohenwarter at the University of Salzburg. You can do constructions with points, vectors, segments, lines, conic sections as well as functions and change them dynamically afterwards. Equations and coordinates can be entered directly. Thus, GeoGebra has the ability to deal with variables for numbers, vectors and points, finds derivatives and integrals of functions and offers commands like Root or Extremum. GeoGebra received several international awards including the European and German educational software award.

A compiler which allows to typeset geometry figures within a (La)TeX document. This program is also useful to convert such figures in EPS format or in various other vector graphic formats.

Fast Artificial Neural Network Library is a free open source neural network library, which implements multilayer artificial neural networks in C with support for both fully connected and sparsely connected networks. Cross-platform execution in both fixed and floating point are supported. It includes a framework for easy handling of training data sets. It is easy to use, versatile, well documented, and fast. Bindings to more than 15 programming languages are available. An easy to read introduction article and a reference manual accompanies the library with examples and recommendations on how to use the library. Several graphical user interfaces are also available for the library.

Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra.

FFTW is a C subroutine library for computing the Discrete Fourier Transform (DFT) in one or more dimensions, of both real and complex data, and of arbitrary input size. We believe that FFTW, which is free software, should become the FFT library of choice for most applications. Our benchmarks, performed on a variety of platforms, show that FFTW's performance is typically superior to that of other publicly available FFT software. Moreover, FFTW's performance is portable: the program will perform well on most architectures without modification. The FFTW package was developed at MIT by Matteo Frigo and Steven G. Johnson. Please send email to fftw@theory.lcs.mit.edu so that we can keep track of users and send you information about new releases. The latest version of FFTW, benchmarks, links, and other information can be found at the FFTW home page.

FFTW is a C subroutine library for computing the Discrete Fourier Transform (DFT) in one or more dimensions, of both real and complex data, and of arbitrary input size. We believe that FFTW, which is free software, should become the FFT library of choice for most applications. Our benchmarks, performed on a variety of platforms, show that FFTW's performance is typically superior to that of other publicly available FFT software. Moreover, FFTW's performance is portable: the program will perform well on most architectures without modification. The FFTW package was developed at MIT by Matteo Frigo and Steven G. Johnson. Please send email to fftw@theory.lcs.mit.edu so that we can keep track of users and send you information about new releases. The latest version of FFTW, benchmarks, links, and other information can be found at the FFTW home page.