Owner
bmstu-iu9
5 indexed repositories · View on GitHub
-
refal-5-lambda
Компилятор Рефала-5λ
C++ · 97 stars
-
tiny-refal
Демонстрационный интерпретатор Рефала
JavaScript · 10 stars
-
SCP-Autotests
(Practice) Разработка автотестов для суперкомпиляторов MSCP-A и SCP4
Go · 0 stars
-
SMT-to-REF
Чтение модели в строковом языке из SMT-форматов и перекодировка в программу-предикат на Рефале.
Python · 0 stars
-
HoTT-Cats
HoTT workshop with @fizruk
0 stars
-
study
bmstu-iu9/refal-5-lambda#27 · 13 comments · 0 reactions · 0 assignees ·
-
bug
bmstu-iu9/refal-5-lambda#28 · 0 comments · 0 reactions · 0 assignees ·
-
study
bmstu-iu9/refal-5-lambda#50 · 7 comments · 0 reactions · 0 assignees ·
-
task
bmstu-iu9/refal-5-lambda#59 · 8 comments · 0 reactions · 0 assignees ·
-
good first issue help wanted scores task
bmstu-iu9/refal-5-lambda#73 · 20 comments · 0 reactions · 0 assignees ·
-
good first issue help wanted scores task
bmstu-iu9/refal-5-lambda#74 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue help wanted scores task
bmstu-iu9/refal-5-lambda#75 · 0 comments · 0 reactions · 0 assignees ·
-
bug task
bmstu-iu9/refal-5-lambda#146 · 1 comment · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#149 · 1 comment · 0 reactions · 1 assignee ·
-
bug
bmstu-iu9/refal-5-lambda#151 · 0 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#165 · 6 comments · 0 reactions · 1 assignee ·
-
Условия-отрицания Opentask
bmstu-iu9/refal-5-lambda#168 · 5 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#169 · 3 comments · 0 reactions · 0 assignees ·
-
task
bmstu-iu9/refal-5-lambda#174 · 5 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#175 · 0 comments · 0 reactions · 1 assignee ·
-
bmstu-iu9/refal-5-lambda#178 · 8 comments · 0 reactions · 0 assignees ·
-
question
bmstu-iu9/tiny-refal#17 · 0 comments · 0 reactions · 0 assignees ·
-
Библиотека reflib Opentask
bmstu-iu9/refal-5-lambda#179 · 0 comments · 0 reactions · 1 assignee ·
-
Обработка исключений Opentask
bmstu-iu9/refal-5-lambda#180 · 7 comments · 0 reactions · 0 assignees ·
-
task
bmstu-iu9/refal-5-lambda#182 · 1 comment · 0 reactions · 0 assignees ·
-
task
bmstu-iu9/refal-5-lambda#185 · 1 comment · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#194 · 7 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#195 · 5 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#196 · 10 comments · 0 reactions · 1 assignee ·
-
question task
bmstu-iu9/refal-5-lambda#197 · 2 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#198 · 1 comment · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#201 · 0 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#202 · 1 comment · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#204 · 3 comments · 0 reactions · 1 assignee ·
-
bug
bmstu-iu9/refal-5-lambda#206 · 43 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#228 · 9 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#230 · 7 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#231 · 11 comments · 0 reactions · 1 assignee ·
-
frozen question task
bmstu-iu9/refal-5-lambda#247 · 3 comments · 0 reactions · 1 assignee ·
-
Прогонка условий Opentask
bmstu-iu9/refal-5-lambda#248 · 6 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#249 · 6 comments · 0 reactions · 1 assignee ·
-
question task
bmstu-iu9/refal-5-lambda#250 · 1 comment · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#257 · 2 comments · 0 reactions · 1 assignee ·
-
bug
bmstu-iu9/refal-5-lambda#276 · 8 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#283 · 4 comments · 0 reactions · 1 assignee ·
-
Удалить $SCOPEID Opentask
bmstu-iu9/refal-5-lambda#284 · 0 comments · 0 reactions · 1 assignee ·
-
scores task
bmstu-iu9/refal-5-lambda#286 · 3 comments · 0 reactions · 0 assignees ·
-
Переход на CMake Openfrozen task
bmstu-iu9/refal-5-lambda#309 · 1 comment · 0 reactions · 0 assignees ·
-
task
bmstu-iu9/refal-5-lambda#311 · 1 comment · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#312 · 0 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#313 · 1 comment · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#314 · 9 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#315 · 5 comments · 0 reactions · 1 assignee ·
-
question task
bmstu-iu9/refal-5-lambda#318 · 2 comments · 0 reactions · 1 assignee ·
-
task
bmstu-iu9/refal-5-lambda#324 · 2 comments · 0 reactions · 1 assignee ·