The Fastest Fourier Transform in the West (FFTW) is a software library for computing discrete Fourier transforms (DFTs) developed by Matteo Frigo and Steven G. Johnson at the Massachusetts Institute of Technology.

FFTW is known as the fastest free software implementation of the Fast Fourier transform (FFT) algorithm (upheld by regular benchmarks). It can compute transforms of real and complex-valued arrays of arbitrary size and dimension in O(n log n) time.

It does this by supporting a variety of algorithms and choosing the one (a particular decomposition of the transform into smaller transforms) it estimates or measures to be preferable in the particular circumstances. It works best on arrays of sizes with small prime factors, with powers of two being optimal and large primes being worst case (but still O(n log n)). To decompose transforms of composite sizes into smaller transforms, it chooses among several variants of the Cooley-Tukey FFT algorithm (corresponding to different factorizations and/or different memory-access patterns), while for prime sizes it uses either Rader's or Bluestein's FFT algorithm. Once the transform has been broken up into subtransforms of sufficiently small sizes, FFTW uses hard-coded unrolled FFTs for these small sizes that were produced (at compile time, not at run time) by code generation; these routines use a variety of algorithms including Cooley-Tukey variants, Rader's algorithm, and prime-factor FFT algorithms.

For a sufficiently large number of repeated transforms it is advantageous to measure the performance of some or all of the supported algorithms on the given array size and platform. These measurements, which the authors refer to as "wisdom", can be stored in a file or string for later use.

FFTW has a "guru interface" that intends "to expose as much as possible of the flexibility in the underlying FFTW architecture". This allows, among other things, multi-dimensional transforms and multiple transforms in a single call (e.g., where the data is interleaved in memory).

FFTW has limited support for out-of-order transforms (using the MPI version). The data reordering incurs an overhead, which for in-place transforms of arbitrary size and dimension is non-trivial to avoid. It is undocumented for which transforms this overhead is significant.

FFTW is licensed at under the GNU General Public License. It is also licensed commercially (for a cost of up to $12,500) by MIT and is used in the commercial MATLAB matrix package for calculating FFTs. FFTW is written in the C language, but Fortran and Ada interfaces exist, as well as interfaces for a few other languages. The Julia base library includes an interface to FFTW by default. While the library itself is C, the code is actually generated from a program called 'genfft', which is written in OCaml.

In 1999, FFTW won the J. H. Wilkinson Prize for Numerical Software.

A list below shows FFTW alternatives which were either selected by us or voted for by users. You can filter this list by tags and platforms

Latest version of FFTW is 3.3.5 and it was released on 2016-07-31.

#### Template Numerical Toolkit by National Institute of Standards and Technology

The Template Numerical Toolkit (or TNT) is a software library for manipulating vectors and matrices in C++ created by the U.S. National Institute of Standards and Technology. TNT provides the...

Tags:*C Numerical Libraries,**Free Mathematics Software,**Free Software Programmed In C,**Publicdomain Software With Source Code*#### Spyder

Spyder (formerly Pydee) is an open source cross-platform integrated development environment (IDE) for scientific programming in the Python language. Spyder integrates NumPy, SciPy, Matplotlib and...

Latest version of Spyder is 3.2.3 and it was released on 2017-09-11.

Tags:*Free Integrated Development Environments,**Free Integrated Development Environments For Python,**Python Development Tools,**Free Mathematics Software,**Free Science Software,**Python Software,**Software Using The Mit License*#### Shogun machine learning toolbox by Soeren Sonnenburg,Sergey Lisitsyn,Heiko Strathmann,Fernando Iglesias,Viktor Gal

Shogun is a free, open source machine learning software library written in C++. It offers numerous algorithms and data structures for machine learning problems. It offers interfaces for Octave,...

Latest version of Shogun machine learning toolbox is 6.0.0 and it was released on 2017-04-25.

Tags:*C Libraries,**Free Software Programmed In C,**Data Mining And Machine Learning Software,**Free Statistical Software,**Free Computer Libraries,**Free Mathematics Software,**Free Science Software*#### Photomath by Photomath

Photomath is a mobile application described as a "camera calculator", which utilizes a phone's camera to recognize mathematical patterns and to display the solution directly onscreen. It is...

Tags:*Android Software,**Ios Software,**Photo Software,**Croatian Brands,**2014 Software,**Mobile Applications,**Mathematical Software,**Free Mathematics Software*#### mXparser

mXparser is an open-source mathematical expressions parser/evaluator providing abilities to calculate various expressions at a run time. Expressions definitions are given as plain text, then...

Latest version of mXparser is 4.0.0 and it was released on 2017-03-27.

Tags:*Free Mathematics Software,**Parsing,**2010 Software,**Free Software Programmed In Java,**Free Software Programmed In C Sharp,**Software Using The Bsd License,**Free Mobile Software,**Software That Uses Mono,**Free And Opensource Android Software,**Net Framework Software,**Computer Algebra Systems*#### KaTeX

KaTeX is a cross-browser JavaScript library that displays mathematical notation in web browsers. It puts special emphasis in being fast and easy to use. It was initially developed by Khan...

Latest version of KaTeX is 0.7.1 and it was released on 2017-01-21.

Tags:*Free Mathematics Software,**Javascript Libraries*#### IPython by Others

IPython is a command shell for interactive computing in multiple programming languages, originally developed for the Python programming language, that offers introspection, rich media, shell syntax,...

Latest version of IPython is 6.1 and it was released on 2017-05-31.

Tags:*Command Shells,**Computational Notebook,**Free Mathematics Software,**Free Software Programmed In Python,**Python Development Tools*#### jLab

jLab is a numerical computational environment implemented in Java. The main scripting engine of jLab is GroovySci, an extension of Groovy. Additionally, the interpreted J-Scripts (similar to MATLAB)...

Tags:*Numerical Programming Languages,**Free Mathematics Software,**Array Programming Languages*#### GNU Units by GNU Project

GNU Units is a cross-platform computer program for conversion of units of quantities. It has a database of measurement units, including esoteric and historical units. This for instance allows...

Latest version of GNU Units is 2.14 and it was released on 2017-03-08.

Tags:*Crossplatform Software,**Unix Software,**Gnu Project Software,**Free Mathematics Software*#### Gmsh by Christophe Geuzaine and Jean-François Remacle

Gmsh is a finite-element mesh generator developed by Christophe Geuzaine and Jean-François Remacle. Released under the GNU General Public License, Gmsh is free software. Gmsh contains 4 modules: for...

Latest version of Gmsh is 3.0.1 and it was released on 2017-04-14.

Tags:*Free Mathematics Software,**Free Software Programmed In C,**Crossplatform Free Software,**Mesh Generators,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Software That Uses Fltk,**Computeraided Engineering Software For Linux*#### FreeMat by Samit Basu

FreeMat is a free open-source numerical computing environment and programming language, similar to MATLAB and GNU Octave. In addition to supporting many MATLAB functions and some IDL functionality,...

Latest version of FreeMat is 4.2 and it was released on 2013-06-30.

Tags:*Array Programming Languages,**Free Mathematics Software,**Free Software Primarily Written In Assembly Language,**Free Software Programmed In C,**Free Software Programmed In C,**Free Software Programmed In Fortran,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Science Software That Uses Qt,**Unix Programming Tools*#### Erable by Bernard Parisse,,Mika Heiskanen,,Claude-Nicolas Fiechter

Erable is a computer algebra system (CAS) for a family of Hewlett-Packard graphing scientific calculators of the HP 40, 48 and HP 49/50...

Latest version of Erable is 4.20060919 (2006-09-19) and it was released on 2009-04-21/2012-04-26.

Tags:*Free Computer Algebra Systems,**Free Mathematics Software,**Mathematical Software*#### AutoLatex Equations

Auto-Latex Equations is a Google Docs add-on that allows any Google Docs user to type mathematical equations inside their documents. Auto-Latex Equations uses MathJax and LaTeX-style syntax and...

Latest version of Auto-Latex Equations is 8.1 and it was released on 2016-01-19.

Tags:*Free Educational Software,**Free Mathematics Software,**Mathematical Software*#### Xcas by Bernard Parisse

Xcas is a user interface to Giac, a free, basic Computer Algebra System (CAS) for Windows, macOS and Linux/Unix. Giac can be used directly inside software written in C++. Xcas and Giac are...

Latest version of Xcas is 1.2.3 and it was released on {{release date|2017|01|df=yes}}.

Tags:*C Libraries,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems,**Free Mathematics Software,**Free Software Programmed In C,**Mathematical Software*#### XaoS

XaoS is an interactive fractal zoomer program. It allows the user to continuously zoom in or out of a fractal in real-time. XaoS is licensed under GPL. The program is cross-platform, and is...

Latest version of XaoS is 3.6 and it was released on 2013-11-01.

Tags:*Free Mathematics Software,**Gnu Project Software,**Fractal Software*#### Trilinos by Sandia National Laboratories

Trilinos is a collection of open-source software libraries, called packages, intended to be used as building blocks for the development of scientific applications. The word "Trilinos" is Greek and...

Latest version of Trilinos is 12.10 and it was released on 2016-11-16.

Tags:*Numerical Libraries,**Concurrent Programming Libraries,**Free Mathematics Software,**C Numerical Libraries*#### SymPy by Independent group of people

SymPy is a Python library for symbolic computation. It provides computer algebra capabilities either as a standalone application, as a library to other applications, or live on the web as SymPy Live...

Latest version of SymPy is 1.1.1 and it was released on 2017-07-22.

Tags:*Articles With Example Python Code,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems,**Free Mathematics Software,**Free Software Programmed In Python,**Python Scientific Libraries*#### NumPy by Community project

NumPy (pronounced or sometimes ) is a library for the Python programming language, adding support for large, multi-dimensional arrays and matrices, along with a large collection of high-level...

Latest version of NumPy is 1.12.1 and it was released on 2017-03-18.

Tags:*Array Programming Languages,**Articles With Example Python Code,**Free Mathematics Software,**Free Science Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Python Scientific Libraries*#### Metamath by Norman Megill

Metamath is a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems...

Tags:*Proof Assistants,**Largescale Mathematical Formalization Projects,**Educational Math Software,**Free Mathematics Software*#### mlpack

mlpack is a machine learning software library for C++, built on top of the Armadillo library. mlpack has an emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning...

Latest version of mlpack is 2.0.3 and it was released on 2016-07-21.

Tags:*C Libraries,**Data Mining And Machine Learning Software,**Free Computer Libraries,**Free Mathematics Software,**Free Science Software,**Free Software Programmed In C,**Free Statistical Software*#### MathJax by American Mathematical Society

MathJax is a cross-browser JavaScript library that displays mathematical notation in web browsers, using MathML, LaTeX and ASCIIMathML markup. MathJax is released as open-source software under the...

Latest version of MathJax is 2.7.1 and it was released on 2017-04-25.

Tags:*Free Mathematics Software,**Javascript Libraries,**Software Using The Apache License,**Symbol Typefaces*#### GNU Linear Programming Kit by GNU Project

The GNU Linear Programming Kit (GLPK) is a software package intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It is a set of...

Latest version of GNU Linear Programming Kit is 4.63 and it was released on 2017-07-25.

Tags:*Gnu Project Software,**Mathematical Optimization Software,**Free Mathematics Software,**Free Software Programmed In C,**Mathematics Software For Linux*#### Armadillo C Library

Armadillo is a linear algebra software library for the C++ programming language. It aims to provide efficient and streamlined base calculations, while at the same time having a straightforward and...

Latest version of Armadillo C++ Library is 7.800.0 and it was released on 2017-02-17.

Tags:*Articles With Example C Code,**C Numerical Libraries,**Free Computer Libraries,**Free Mathematics Software,**Free Science Software,**Free Software Programmed In C,**Free Statistical Software,**Numerical Linear Algebra,**Software Using The Apache License*#### Scilab by Scilab Enterprises

Scilab is an open source, cross-platform numerical computational package and a high-level, numerically oriented programming language. It can be used for signal processing, statistical analysis,...

Latest version of Scilab is 6.0.0 and it was released on 2017-02-15.

Tags:*Array Programming Languages,**Free Educational Software,**Free Mathematics Software,**Free Software Programmed In Fortran,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Science Software That Uses Gtk*#### SageMath

SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation") is mathematical software with features covering many aspects of mathematics, including algebra, combinatorics,...

Latest version of SageMath is 8.0 and it was released on 2017-07-21.

Tags:*Articles With Example Python Code,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free And Opensource Android Software,**Free Computer Algebra Systems,**Free Educational Software,**Free Mathematics Software,**Free Software Programmed In Python,**Mathematical Software,**Python Scientific Libraries*#### Genius by Jiri Lebl

Genius (also known as the Genius Math Tool) is a free open-source numerical computing environment and programming language, similar in some aspects to MATLAB, GNU Octave, Mathematica and Maple....

Latest version of Genius is v1.0.21 and it was released on 2016-01-06.

Tags:*Array Programming Languages,**Numerical Programming Languages,**Free Mathematics Software,**Free Software Programmed In C,**Free Educational Software,**Unix Programming Tools,**Numerical Analysis Software For Macos,**Science Software That Uses Gtk,**Numerical Analysis Software For Linux*#### NTL by Victor Shoup and others

NTL is a C++ library for doing number theory. NTL supports arbitrary length integer and arbitrary precision floating point arithmetic, finite fields, vectors, matrices, polynomials, lattice basis...

Latest version of NTL is 10.3.0 and it was released on 2016-11-18.

Tags:*C Libraries,**Free Mathematics Software,**2015 Software*#### JDemetra by Eurostat

Demetra+ is a program for seasonal adjustments that was developed and published by Eurostat - European Commission. It supports TRAMO&SEATS and X-12-ARIMA methods of...

Latest version of JDemetra+ is 1.1.0 and it was released on 2013-01-20.

Tags:*Time Series Software,**Free Mathematics Software*#### jsMath by Davide P. Cervone and others

jsMath was a JavaScript library for displaying mathematics in browsers in a cross-platform way. jsMath is free software released under the Apache License. jsMath was succeeded by...

Latest version of jsMath is 3.6e and it was released on 2013-04-29.

Tags:*Free Mathematics Software,**Free Tex Software,**Javascript Libraries*#### ND4S NDimensional Arrays for Scala

ND4S is a free, open-source extension of the Scala programming language operating on the Java Virtual Machine - though it is compatible with both Java and Clojure. ND4S is a scientific computing...

Latest version of ND4S: N-Dimensional Arrays for Scala is 0.7.2 and it was released on 2016-12-27.

Tags:*Array Programming Languages,**Numerical Programming Languages,**Data Mining And Machine Learning Software,**Free Statistical Software,**Java Platform,**Java Programming Language Family,**Jvm Programming Languages,**Scala,**Linear Algebra,**Numerical Analysis,**Computational Statistics,**Artificial Neural Networks,**Free Software Programmed In Java,**Free Science Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Free Mathematics Software,**Java Libraries,**Numerical Software,**Cluster Computing,**Hadoop,**Software Using The Apache License,**Free Software Programmed In Scala*#### ND4J NDimensional Arrays for Java by Various

ND4J is a scientific computing library, written in the programming language C++, operating on the Java virtual machine (JVM), and compatible with the languages Java, Scala, and Clojure. ND4J is for...

Latest version of ND4J: N-Dimensional Arrays for Java is 0.5.0 and it was released on 2016-08-03.

Tags:*Array Programming Languages,**Numerical Programming Languages,**Data Mining And Machine Learning Software,**Free Statistical Software,**Java Platform,**Java Programming Language Family,**Jvm Programming Languages,**Scala,**Linear Algebra,**Numerical Analysis,**Computational Statistics,**Artificial Neural Networks,**Free Software Programmed In Java,**Free Science Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Free Mathematics Software,**Java Libraries,**Numerical Software,**Cluster Computing,**Hadoop,**Software Using The Apache License*#### graphtool by Tiago de Paula Peixoto

graph-tool is a Python module for manipulation and statistical analysis of graphs (AKA networks). The core data structures and algorithms of graph-tool are implemented in C++, making extensive use...

Latest version of graph-tool is 2.22 and it was released on 2017-03-02.

Tags:*Numerical Software,**Free Mathematics Software,**Free Software Programmed In Python,**Free Software Programmed In C,**Graph Drawing Software*#### NetworkX by Many others

NetworkX is a Python library for studying graphs and networks. NetworkX is free software released under the BSD-new...

Latest version of NetworkX is 1.11 and it was released on 2016-01-30.

Tags:*Free Mathematics Software,**Free Software Programmed In Python,**Graph Drawing Software,**Numerical Software*#### CERN Program Library by CERN

The CERN Program Library or CERNLIB was a set of FORTRAN 77 libraries and modules, developed at the European Organization for Nuclear Research CERN. Its content ranged from more specialized data...

Latest version of CERN Program Library is {{Start date and age|2005}} and it was released on 2005-05-09.

Tags:*Fortran Libraries,**Free Mathematics Software,**Free Physics Software,**Free Software Programmed In Fortran,**Numerical Software*#### MADNESS by Oak Ridge National Laboratory,Stony Brook University,Virginia Tech,Argonne National Laboratory

MADNESS (Multiresolution Adaptive Numerical Environment for Scientific Simulation) is a high-level software environment for the solution of integral and differential equations in many dimensions...

Tags:*Numerical Software,**Parallel Computing,**Mathematical Software,**Free Mathematics Software,**Computational Chemistry Software*#### GNU Octave by John W. Eaton and many others

GNU Octave is software featuring a high-level programming language, primarily intended for numerical computations. Octave helps in solving linear and nonlinear problems numerically, and for...

Latest version of GNU Octave is 4.2.1 and it was released on Feb 24, 2017.

Tags:*Array Programming Languages,**Articles With Example Matlaboctave Code,**Crossplatform Free Software,**Data Analysis Software,**Data Mining And Machine Learning Software,**Free Educational Software,**Free Mathematics Software,**Free Software Programmed In C,**Gnu Project Software,**Highpriority Free Software Projects,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Science Software That Uses Qt,**Software That Uses Qt*#### gnuplot

gnuplot is a command-line program that can generate two- and three-dimensional plots of functions, data, and data fits. It is frequently used for publication-quality graphics as well as in...

Tags:*Articles Containing Video Clips,**Computer Animation,**Crossplatform Free Software,**Free 3d Graphics Software,**Free Educational Software,**Free Mathematics Software,**Free Plotting Software,**Free Software Programmed In C,**Plotting Software*#### MOEA Framework

The MOEA Framework is an open-source evolutionary computation library for Java that specializes in multi-objective optimization. It supports a variety of multiobjective evolutionary algorithms...

Latest version of MOEA Framework is 2.7 and it was released on 2015-12-11.

Tags:*Evolutionary Computation,**Free Software Programmed In Java,**Free Mathematics Software,**Mathematical Optimization,**Operations Research,**Free Application Software,**Free Science Software,**Free Computer Libraries*#### App Inventor for Android by MIT Media Lab, MIT Computer Science and Artificial Intelligence Lab

App Inventor for Android is an open-source web application originally provided by Google, and now maintained by the Massachusetts Institute of Technology (MIT). It allows newcomers to computer...

Tags:*2010 Software,**Google Services,**Integrated Development Environments,**Massachusetts Institute Of Technology Software,**Mobile Software Programming Tools,**Visual Programming Languages*#### DSpace by DuraSpace

DSpace is an open source repository software package typically used for creating open access repositories for scholarly and/or published digital content. While DSpace shares some feature overlap...

Latest version of DSpace is 6.0 and it was released on 2016-10-24.

Tags:*2002 Software,**Digital Library Software,**Free Institutional Repository Software,**Free Software Programmed In Java,**Massachusetts Institute Of Technology Software,**Openaccess Archives*#### LIBRSB

librsb is an open-source parallel library for sparse matrix computations using the Recursive Sparse Blocks (RSB) matrix format. librsb provides cache efficient multi-threaded Sparse BLAS operations...

Latest version of LIBRSB is 1.2.0 and it was released on {{Start date|2016|09}}.

Tags:*Numerical Linear Algebra,**C Libraries,**Fortran Libraries,**Free Software Programmed In C,**Numerical Libraries,**Scientific Simulation Software,**Free Simulation Software,**Free Software Programmed In Fortran*#### Lis

Lis (Library of Iterative Solvers for linear systems, pronounced ) is a scalable parallel software library for solving linear equations and eigenvalue problems that arise in the numerical solution...

Latest version of Lis is 1.8.4 and it was released on 2017-08-29.

Tags:*Numerical Libraries,**Numerical Linear Algebra,**Scientific Simulation Software,**C Libraries,**Fortran Libraries,**Free Simulation Software,**Free Software Programmed In C,**Free Software Programmed In Fortran*#### HYPRE

The Parallel High Performance Preconditioners (hypre) is a library of routines for scalable (parallel) solution of linear systems. The built-in BLOPEX package in addition allows solving eigenvalue...

Latest version of HYPRE is 2.11.2 and it was released on 2016/06/09.

Tags:*Numerical Libraries,**Numerical Linear Algebra,**Scientific Simulation Software*#### SLEPc

SLEPc is a software library for the parallel computation of eigenvalues and eigenvectors of large, sparse matrices. It can be seen as a module of PETSc that provides solvers for different types of...

Latest version of SLEPc is 3.7 and it was released on 16 May 2016.

Tags:*Numerical Libraries,**Numerical Linear Algebra,**Scientific Simulation Software*#### PETSc

The Portable, Extensible Toolkit for Scientific Computation (PETSc, pronounced PET-see; the S is silent), is a suite of data structures and routines developed by Argonne National Laboratory for the...

Latest version of PETSc is 3.7.1 and it was released on 2016-05-16.

Tags:*Numerical Libraries,**Numerical Linear Algebra,**Scientific Simulation Software,**C Numerical Libraries*#### GNU Scientific Library by GNU Project

The GNU Scientific Library (or GSL) is a software library for numerical computations in applied mathematics and science. The GSL is written in C; wrappers are available for other programming...

Latest version of GNU Scientific Library is GSL-2.4 and it was released on 2017-06-19.

Tags:*C Libraries,**Free Computer Libraries,**Free Software Programmed In C,**Gnu Project Software,**Mathematical Libraries,**Numerical Libraries,**Numerical Software*#### Advanced Simulation Library

Advanced Simulation Library (ASL) is free and open-source hardware-accelerated multiphysics simulation platform. It enables users to write customized numerical solvers in C++ and deploy them on a...

Latest version of Advanced Simulation Library is 0.1.7 and it was released on 2016-11-09.

Tags:*Computational Chemistry Software,**Computeraided Engineering Software For Linux,**Software Using The Gnu Agpl License,**Computational Fluid Dynamics,**Free Science Software,**Open Source Computer Aided Engineering Applications,**Articles Containing Video Clips,**Gpgpu,**Numerical Libraries,**C Libraries*#### Matita

Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by man-machine...

Tags:*Proof Assistants,**Free Theorem Provers,**Dependently Typed Languages,**Educational Math Software,**Ocaml Software,**Free Software Programmed In Ocaml,**Functional Languages*#### Coq by The Coq development team

In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and...

Latest version of Coq (software) is 8.6.1 and it was released on 2017-07-25.

Tags:*Proof Assistants,**Free Theorem Provers,**Dependently Typed Languages,**Educational Math Software,**Ocaml Software,**Free Software Programmed In Ocaml,**Functional Languages,**Programming Languages Created In 1984,**1989 Software*#### Marionnet by Jean-Vincent Loddo, Luca Saiu

Marionnet is a virtual network laboratory: it allows users to define, configure and run complex computer networks without any need for physical setup. Only a single, possibly even non-networked...

Tags:*Linux,**Computing Platforms,**Virtualization Software,**Free Virtualization Software,**Ocaml Software,**Free Software Programmed In Ocaml,**Virtualizationrelated Software For Linux*#### GeneWeb by Daniel de Rauglaudre

GeneWeb is a free multi-platform ] tool created and owned by Daniel de Rauglaudre of INRIA. GeneWeb is accessed by a Web browser, either off-line or as a server in a Web environment. It uses very...

Latest version of GeneWeb is 6.08 and it was released on 2015-05-07.

Tags:*Free Genealogy Software,**Windows Software,**Macos Software,**Unix Software,**Ocaml Software,**Free Software Programmed In Ocaml*