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...
Wolfram Mathematica - Mathematica has characterized the cutting edge in specialized processing—and gave the chief calculation environment to a large number of pioneers, instructors, understudies, and others around the globe.