OberonCore

Наугад, зная свойства алгоритма - глубину рекурсии - и т.п.
Ну, как при запуске потока прикидывается размер стека.

Как этот проект оценивается сейчас? У кого есть опыт использования, поделитесь им пожалуйста. Почему среднестатистическому программисту такой инструмент может быть желателен больше, чем распространённые регулярные выражения?

Я его оцениваю как эксперимент, который мог бы получить продолжение.

1) Для написания парсеров
2) При переходе к бинарным структурированным потокам. Аля XML, но бинарным. Поищите в Компьютерре статью давнюю - про Турчина, Рефал и идеи обработки Рефалом XML-контента.
Что-то в этом, в принципе, есть.

Насколько интенсивно он использовался в этом или другом качестве?

Эксперимент есть эксперимент. Никак он не использовался.

Тут один из участников форума что-то попиливал для метеостанций, XML обрабатывать пробовал.