Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
MATLAB - A high-level language and interactive environment for numerical computation, visualization, and programming
Haskell - An advanced purely-functional programming language
GNU Octave - GNU Octave is a programming language for scientific computing.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Scilab - Scilab Official Website. Enter your search in the box aboveAbout ScilabScilab is free and open source software for numerical . Thanks for downloading Scilab!