Konstantin's repositories
cpp-graduate
Code samples for C++ graduate course (iLab at MIPT)
cpp-masters
Masters course revisited
c-graduate
C examples for graduate course on MIPT
benchmarks
Interesting benchmarks
generators
Generating things
Phd-Dissertation-Text
PhD thesis
Language:C++000
concrete
Different computability and combinatorics experiments and visualizations
Language:C++LGPL-2.1000
examponybot
Peering exam bot for telegram
Language:RubyAGPL-3.0000
StructureSplitter-article
Joint work on article
Language:TeX000
Language:LLVMNOASSERTION000
sverilog
system verilog experiments
Language:SystemVerilogGPL-3.0000
vertexcover
Vertex cover and bounded search trees supplementary code
Language:C++GPL-3.0000