Pinned Loading

1. huggingface/transformers huggingface/transformers Public

   🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

   Python 169k 35.2k

2. google-deepmind/formal-conjectures google-deepmind/formal-conjectures Public

   A collection of formalized statements of conjectures in Lean.

   Lean 1.4k 588

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

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

   Python 36.6k 4k

4. pytorch/pytorch pytorch/pytorch Public

   Tensors and Dynamic neural networks in Python with strong GPU acceleration

   Python 105k 30.7k

5. huggingface/diffusers huggingface/diffusers Public

   🤗 Diffusers: State-of-the-art diffusion models for image, video, and audio generation in PyTorch.

   Python 34.9k 7.5k