Pinned Loading

1. The Modular Platform (includes MAX & Mojo)

   Mojo 25.9k 2.8k

2. Mathematical Components

   Rocq Prover 673 129

3. Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

   Python 35.4k 3.5k