V.E.R.A. -- Virtual Entity of Relevant Acronyms (February 2016):

EFNET
       Eris Free NETwork (Network, IRC), "EFnet"


The Free On-line Dictionary of Computing (30 December 2018):

EFNet

    (From "Eris-free Net", eris being
   eris.berkeley.edu).

   The dominant Internet Relay Chat network.

   See also Undernet.

   (1995-11-09)