Miranda

Написанная на C реализация Miranda от Research Software Ltd — создателей языка и держателей торговой марки “Miranda”.

Miranda представляет собой законченную интерактивную среду программирования. Компилятор работает с связке с экранным редактором (который может переопределяться пользователем). Генерируемый компилятором промежуточный код (основанный на комбинаторной логике) исполняется быстрым интерпретатором.