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

Miracula

   An implementation of a subset of Miranda by Stefan Kahrs
   , LFCS, no modules or files.  Can be
   interactively switched between eager and lazy evaluation.
   Portable source in C from the author.