Popular repositories Loading

1. PunchOutModelSynthesis PunchOutModelSynthesis Public

   Punch Out Model Synthesis - a program for constraint based tiling generation

   JavaScript 21 2

2. R2K2ZZN R2K2ZZN Public

   Source code, Lean proof and paper for a polynomial time algorithm to find a two path Zig-Zag Numberlink in a 2D rectangle.

   Lean 2 1

3. SolidGridGraphHamPath SolidGridGraphHamPath Public

   Polynomial time algorithm for Hamiltonian Paths in 2D solid grid graphs

   Lean 2 1

4. ShotgunConjectures ShotgunConjectures Public

   Shotgun effort to solve some open problems

   Lean 2

5. PunchOutModelSynthesis-Paper PunchOutModelSynthesis-Paper Public

   Paper source for the Punch Out Model Synthesis algorithm

   JavaScript 1

6. GridHam2D-Lean GridHam2D-Lean Public

   A lean proof of the Itai–Papadimitriou–Szwarcfiter theorem that characterizes Hamiltonian paths in 2d rectangular grid graphs.

   Lean 1 1