To spare you the site crawling in russian with broken links all over, this is what seem to be the "latest" implementations: refal6 on java 2(!!), seems inactiv

To spare you the site crawling in russian with broken links all over, this is what seem to be the "latest" implementations: refal6 on java 2(!!), seems inactive for ~10y http://www.refal.org/~arklimov/refal6/refal-j.htm http://www.refal.org/~arklimov/refal6/refal-j.htm refal+ for VS c++ 2005(?), last activity 2009 http://rfp.botik.ru/home http://rfp.botik.ru/home