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

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.