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

Ashmedai

    A symbolic mathematics package by Michael Levine
    that influenced SMP and FORM.
   There are versions for the Univac 1108 and VAX/VMS.

   (1995-03-21)