Popular repositories Loading

1. polya-szego-lean polya-szego-lean Public

   Lean 6 2

2. rithmic rithmic Public

   Python 5 2

3. twed twed Public

   Time warp edit distance

   Python 2

4. claude-maintained-template claude-maintained-template Public template

   Self-healing Python packages powered by Claude AI - automated dependency maintenance

   Python 2

5. polya-szego-benchmark polya-szego-benchmark Public

   Pólya-Szegő Lean 4 Formalization Benchmark: 823 problems, 8 models

   2

6. prophesy prophesy Public

   prophetic files

   Jupyter Notebook 1 1