Antonina Nepeivoda (TonitaN)

TonitaN

Geek Repo

Company:Program Systems Institute of RAS

Location:Pereslavl-Zalesskiy

Github PK Tool:Github PK Tool


Organizations
bmstu-iu9

Antonina Nepeivoda's repositories

FormalLanguageTheory

Slides and tasks for theory of formal languages course BMSTU IU9 (in Russian)

Blanks-4LaTeX

Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.

Language:TeXLicense:MITStargazers:17Issues:2Issues:4

Misc-Lectures

Miscellaneous slides

Language:TeXStargazers:2Issues:1Issues:0

MSCP-A

Supercompiler MSCP-A for Refal language

Language:HTMLLicense:MITStargazers:2Issues:1Issues:3

TestEquations

The solution graphs generated by specializing a word equation interpreter with the test equations.

converter_team_project

Automata converter on lua

Language:LuaStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0

IU9Functional

Материалы по курсу ФП

Stargazers:0Issues:3Issues:0

L-parser

Xo-xo-touch-1

Language:PythonStargazers:0Issues:0Issues:0
Language:SMTStargazers:0Issues:0Issues:0

TFL_additional_lab4

Xo-Xo-touch-2

Language:C++Stargazers:0Issues:0Issues:0