Pinned Repositories
algosi-hirsch
Конспект по ii части курса "Математические основы алгоритмы" (Гирш Э.А., 2020)
blackboard-lecture-extractor
these brainlets really thought we gonna learn this PE lectures shit bruh that's cringe (epic backflip) (and then everyone started clapping) (also obama and princess diana was here)
CYK-algorithm
A simple Python realization of CYK algorithm
exploring-ppzstroke
Exploring little modification of PPZ algorithm which also looks at pairs of clauses equivalent to (a==b) and (a xor b).
interpr
Toy language to learn parallel computing
mean-of-random-choices
permupuzzles-russian
A word puzzles generator in russian
planted_sat
Generator of formulas with unique satisfying assignment
sharp-topsort
Counts the number of topological sorts of a graph
theory_university
Конспекты теории с лекций, набранные в tex.
gogochushij's Repositories
gogochushij/algosi-hirsch
Конспект по ii части курса "Математические основы алгоритмы" (Гирш Э.А., 2020)
gogochushij/blackboard-lecture-extractor
these brainlets really thought we gonna learn this PE lectures shit bruh that's cringe (epic backflip) (and then everyone started clapping) (also obama and princess diana was here)
gogochushij/CYK-algorithm
A simple Python realization of CYK algorithm
gogochushij/exploring-ppzstroke
Exploring little modification of PPZ algorithm which also looks at pairs of clauses equivalent to (a==b) and (a xor b).
gogochushij/interpr
Toy language to learn parallel computing
gogochushij/mean-of-random-choices
gogochushij/permupuzzles-russian
A word puzzles generator in russian
gogochushij/planted_sat
Generator of formulas with unique satisfying assignment
gogochushij/sharp-topsort
Counts the number of topological sorts of a graph
gogochushij/theory_university
Конспекты теории с лекций, набранные в tex.
gogochushij/Zsqrt2-matrix-manipulator