Pinned Repositories
external-tools
spades
SPAdes Genome Assembler
alexanderskulikov.github.io
circuit-synthesis
Finding Efficient Circuits Using SAT-solvers
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
greedy-superstring-conjecture
sandbox
algo-challenges-in-kotlin
linear
Complexity of Linear Operators
alexanderskulikov's Repositories
alexanderskulikov/discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
alexanderskulikov/circuit-synthesis
Finding Efficient Circuits Using SAT-solvers
alexanderskulikov/greedy-superstring-conjecture
alexanderskulikov/alexanderskulikov.github.io
alexanderskulikov/sandbox