I'm Christian. Somehow, you've landed on my GitHub. If you're interested in more of what I do, check out my blog.
Popular repositories Loading
-
stereo-reconstruction
stereo-reconstruction Public3D point cloud generation from stereo images without OpenCV
Python 5
-
zeckendorf-theorem
zeckendorf-theorem PublicA formal proof of the Zeckendorf theorem in Isabelle/HOL
TeX 1
-
-
sudoku-solver
sudoku-solver PublicJust another real-time Sudoku solver coded in Python using OpenCV and PyTorch.
Python
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.