The Free On-line Dictionary of Computing (19 January 2023):

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)