Pinned Repositories
archimedean-tilings
This is a Python implementation of the ideas described in Chapter 19 (Archimedean Tilings) of the book "Symmetries of Things" by John H. Conway, Heidi Burgiel, and Chaim Goodman-Strauss.
clobber
This code calculates atomic weights for near-alternating Clobber positions. A near-alternating Clobber position has the form X...Y where X and Y are each a solid color and ... denotes an alternating sequence of black and white stones that begins with the opposite color of X and ends with the opposite color of Y.
galeshapley-lean
Formalization in Lean of some results related to stable matchings and the Gale-Shapley algorithm
gnubg-web
A port of GNU Backgammon to the web. Currently hosted at http://xenon.stanford.edu/~hwatheod/gnubg_web/gnubg_web.html
lean4
Lean 4 programming language and theorem prover
miracle-octad-generator
An implementation of Curtis' Miracle Octad Generator (MOG) for exploring the binary Golay code and its automorphism group, M24 (the Mathieu group with its standard representation on 24 objects). Currently hosted at: http://xenon.stanford.edu/~hwatheod/mog/mog.html
once-punctured-torus
Draws limit sets of Kleinian groups generated by two elements of PSL(2,C) with parabolic commutator, using the algorithms described in the book "Indra's Pearls" by Mumford, Series, and Wright. Hosted at: http://xenon.stanford.edu/~hwatheod/oncePuncturedTorus/index.html
polyhedra
Website that displays all the polyhedra in the netlib polyhedra database, using X3DOM. Hosted at: http://xenon.stanford.edu/~hwatheod/polyhedra/polyhedra.html
retractor
Retractor is software for working with retrograde analysis chess problems (retro problems). Currently hosted at http://xenon.stanford.edu/~hwatheod/retractor2/retractor.html
retractor-python
Utilities in Python related to retrograde analysis
hwatheod's Repositories
hwatheod/gnubg-web
A port of GNU Backgammon to the web. Currently hosted at http://xenon.stanford.edu/~hwatheod/gnubg_web/gnubg_web.html
hwatheod/retractor
Retractor is software for working with retrograde analysis chess problems (retro problems). Currently hosted at http://xenon.stanford.edu/~hwatheod/retractor2/retractor.html
hwatheod/miracle-octad-generator
An implementation of Curtis' Miracle Octad Generator (MOG) for exploring the binary Golay code and its automorphism group, M24 (the Mathieu group with its standard representation on 24 objects). Currently hosted at: http://xenon.stanford.edu/~hwatheod/mog/mog.html
hwatheod/once-punctured-torus
Draws limit sets of Kleinian groups generated by two elements of PSL(2,C) with parabolic commutator, using the algorithms described in the book "Indra's Pearls" by Mumford, Series, and Wright. Hosted at: http://xenon.stanford.edu/~hwatheod/oncePuncturedTorus/index.html
hwatheod/galeshapley-lean
Formalization in Lean of some results related to stable matchings and the Gale-Shapley algorithm
hwatheod/clobber
This code calculates atomic weights for near-alternating Clobber positions. A near-alternating Clobber position has the form X...Y where X and Y are each a solid color and ... denotes an alternating sequence of black and white stones that begins with the opposite color of X and ends with the opposite color of Y.
hwatheod/retractor-python
Utilities in Python related to retrograde analysis
hwatheod/archimedean-tilings
This is a Python implementation of the ideas described in Chapter 19 (Archimedean Tilings) of the book "Symmetries of Things" by John H. Conway, Heidi Burgiel, and Chaim Goodman-Strauss.
hwatheod/lean4
Lean 4 programming language and theorem prover
hwatheod/polyhedra
Website that displays all the polyhedra in the netlib polyhedra database, using X3DOM. Hosted at: http://xenon.stanford.edu/~hwatheod/polyhedra/polyhedra.html
hwatheod/wallpaper
An Android app to sketch patterns for all 17 wallpaper groups. (For more information on wallpaper groups, see https://en.wikipedia.org/wiki/Wallpaper_group )