Popular repositories Loading

1. nehalahmedshaikh.github.io nehalahmedshaikh.github.io Public

   My website

   HTML

2. executable-euclid executable-euclid Public

   Euclid's Elements as software that runs: every proposition draws its own figure, checks its own conclusion in exact arithmetic, and reports what it depended on.

   Python

3. three-stacks three-stacks Public

   A length-22 permutation that three stacks in series cannot sort, with a machine-checkable DRAT certificate. Superseded by Pantone-Vatter (2026).

   Python

4. doing-economics doing-economics Public

   Julia implementations of the empirical projects in CORE Econ's Doing Economics

   Julia

5. pycgt pycgt Public

   Combinatorial game theory in pure Python: exact canonical forms, thermography, and game values

   Python

6. blindspot blindspot Public

   An open atlas of what humanity has not measured

   Python