Antonina Nepeivoda's repositories
FormalLanguageTheory
Slides and tasks for theory of formal languages course BMSTU IU9 (in Russian)
Blanks-4LaTeX
Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.
Misc-Lectures
Miscellaneous slides
TestEquations
The solution graphs generated by specializing a word equation interpreter with the test equations.
converter_team_project
Automata converter on lua
Language:Lua000
Language:Shell000
IU9Functional
Материалы по курсу ФП
L-parser
Xo-xo-touch-1
Language:Python000
Language:SMT000
TFL_additional_lab4
Xo-Xo-touch-2
Language:C++000