Alexander Konovalov's repositories
direct-link
Файлопомойка
refal-5-framework
Фреймворк для трансформации программ на Рефале-5
berotinypascal
A self-hosting capable tiny pascal compiler for the Win32 x86 platform
bmstu-refal-compiler
Компилятор Рефал-7 (Рефал-5) программ в Си.(Дипломный проект Фаткуллина Рустама)
bmstu-refal-runtime
Библиотека времени выполнения для Рефал программ, скомпилированных в Си. (Дипломный проект Фаткуллина Рустама)
indent_check
Копия репозитория курсовой работы Пастуховой
mazdaywik.github.io
Домашняя страничка Коновалова Александра
play-with-github-actions
Разбираюсь с GitHub Actions
rec-desc-refal
Рекурсивный спуск на Рефале (пример)
refal-5-lambda
Компилятор Рефала-5λ
refal-at-botik.ru
Архив рассылки refal@botik.ru по январь 2006 года
refal2-msu-iterpreter
Refal2 interpreter
rsl-decompiler
Декомпилятор байткода классического Рефала-5
scp-notes-ru
Notes on supercompilation (in Russian). The sources for the site
simple-refal-benchmark
Бенчмарк для Простого Рефала
TestEquations
The solution graphs generated by specializing a word equation interpreter with the test equations.