Pinned Repositories
articles
Papers sources, pictures, presentations, and other stuff
coq-supplementary
A supplementary Coq workout repository
ctpg
Compile Time Parser Generator is a C++ single header library which takes a language description as a C++ code and turns it into a LR1 table parser with a deterministic finite automaton lexical analyzer, all in compile time.
DotParser
embox
Modular and configurable OS kernel for embedded applications
HellGateBot
The library that emulates obtaining of a ticket to Nikolaevskaya hospital
Homework-SPbU
ignite
Mirror of Apache Ignite
lldb-mi
LLDB's machine interface driver
Meerkat
Meerkat parsers
ilya-nozhkin's Repositories
ilya-nozhkin/Homework-SPbU
ilya-nozhkin/ctpg
Compile Time Parser Generator is a C++ single header library which takes a language description as a C++ code and turns it into a LR1 table parser with a deterministic finite automaton lexical analyzer, all in compile time.
ilya-nozhkin/articles
Papers sources, pictures, presentations, and other stuff
ilya-nozhkin/coq-supplementary
A supplementary Coq workout repository
ilya-nozhkin/DotParser
ilya-nozhkin/embox
Modular and configurable OS kernel for embedded applications
ilya-nozhkin/HellGateBot
The library that emulates obtaining of a ticket to Nikolaevskaya hospital
ilya-nozhkin/ignite
Mirror of Apache Ignite
ilya-nozhkin/lldb-mi
LLDB's machine interface driver
ilya-nozhkin/Meerkat
Meerkat parsers
ilya-nozhkin/YaccConstructor
Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.