Pinned Loading

1. torchdiy torchdiy Public

   ztorch -- A hobby project just like torch for learning how to design a deep learning framework.

   Python 6 9

2. cs4py cs4py Public

   Computer Science -- Theory and Classical Code

   Python

3. math4py math4py Public

   A mathematical foundation library just like R for python.

   Python

4. lean4py lean4py Public

   A lean4 style library for python just like lean4 mathlib.

   Python

5. code5 code5 Public

   An AI coding agent just like opencode (python).

   Python