Popular repositories Loading

1. zeckendorf-theorem zeckendorf-theorem Public

   A formal proof of the Zeckendorf theorem in Isabelle/HOL

   TeX 1

2. parser parser Public

   Haskell

3. sudoku-solver sudoku-solver Public

   Just another real-time Sudoku solver coded in Python using OpenCV and PyTorch.

   Python

4. matrix-transpose-benchmark matrix-transpose-benchmark Public

   TeX

5. gpu-matrix-transpose-benchmark gpu-matrix-transpose-benchmark Public

   TeX

6. chrisdalvit.github.io chrisdalvit.github.io Public

   Svelte