Pinned Loading

1. modular/modular modular/modular Public

   The Modular Platform (includes MAX & Mojo)

   Mojo 25.7k 2.8k

2. math-comp/math-comp math-comp/math-comp Public

   Mathematical Components

   Rocq Prover 668 127

3. jax-ml/jax jax-ml/jax Public

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

   Python 35k 3.4k