dodoturkoz

Pinned Repositories

data-science
Language:Jupyter Notebook00
dodoturkoz
00
dodoturkoz.github.io
Language:HTML00
indigo
:ramen: Minimalist Jekyll Template, dark and light themes
Language:HTML0 0 00
java-projects
Language:Java0 1 00
math-animations
Language:Python0 1 00
102_comb_lean
Lean proofs of (some) problems from the book "102 Combinatorial Problems"
Language:Lean4 2 01

dodoturkoz's Repositories

dodoturkoz/data-science
Language:Jupyter Notebook00
dodoturkoz/dodoturkoz
00
dodoturkoz/dodoturkoz.github.io
Language:HTML00
dodoturkoz/indigo
:ramen: Minimalist Jekyll Template, dark and light themes
Language:HTML0 0 00
dodoturkoz/java-projects
Language:Java0 1 00
dodoturkoz/math-animations
Language:Python0 1 00