Projects in Awesome Lists by chrisdalvit
A curated list of projects in awesome lists by chrisdalvit .
https://github.com/chrisdalvit/zeckendorf-theorem
A formal proof of the Zeckendorf theorem in Isabelle/HOL
fibonacci-numbers fibonacci-sequence formal-verification isabelle isabelle-hol number-theory theorem-proving theoretical-computer-science
Last synced: 26 Jan 2026
https://github.com/chrisdalvit/sudoku-solver
Just another real-time Sudoku solver coded in Python using OpenCV and PyTorch.
opencv opencv-python python pytorch sudoku sudoku-solver
Last synced: 07 Feb 2026
https://github.com/chrisdalvit/gpu-matrix-transpose
Implementation and benchmarking of different matrix transpose with CUDA
c cpp cuda cuda-kernels cuda-programming gpu-acceleration gpu-computing gpu-programming matrix-transpose nvidia-gpu
Last synced: 17 Apr 2026
https://github.com/chrisdalvit/chrisdalvit.github.io
Repository for my blog.
Last synced: 22 Jul 2026
https://github.com/chrisdalvit/parser
rewrite-system rewrite-systems rewriting theoretical-computer-science
Last synced: 15 Jul 2025