Popular repositories Loading

1. gnubg-web gnubg-web Public

   A port of GNU Backgammon to the web. Currently hosted at http://xenon.stanford.edu/~hwatheod/gnubg_web/gnubg_web.html

   C 14 6

2. retractor retractor Public

   Retractor is software for working with retrograde analysis chess problems (retro problems). Currently hosted at http://xenon.stanford.edu/~hwatheod/retractor2/retractor.html

   JavaScript 4

3. miracle-octad-generator miracle-octad-generator Public

   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). Cu…

   JavaScript 3 3

4. once-punctured-torus once-punctured-torus Public

   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. Host…

   JavaScript 3

5. galeshapley-lean galeshapley-lean Public

   Formalization in Lean of some results related to stable matchings and the Gale-Shapley algorithm

   Lean 2 1

6. clobber clobber Public

   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 alternatin…

   Python 1