gogochushij's 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
Language:DMIT000
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.
Language:TeXMIT000