Pinned Loading

1. pilesort pilesort Public

   Codes about sorting a randomized deck of cards using pile shuffle. Used to prove a computational complexity result.

   Lean

2. shuffle-hero-react shuffle-hero-react Public

   React rebuild of Shuffle Hero using Claude Code

   TypeScript

3. roadgeometry roadgeometry Public

   A python utility library for geometrical queries on continuous road network spaces. Includes a O(n log n) algorithm (fastest possible) for matching two sets of points placed in a roadmap, using a m…

   Jupyter Notebook 2

4. sparkrawl sparkrawl Public

   Extra batteries for processing organic datasets with pyspark

   Python

5. polyglint2d polyglint2d Public

   [Library] a Python module which computes the integral of a linear function over a convex region in 2d, described either by its extrema, or by a system of linear inequalities. (It's trickier than yo…

   Python 1