Pinned Loading

1. LeMonkey LeMonkey Public

   Language-conditioned manipulation on the SO-101 arm: one SmolVLA-450M policy, three pick-and-place tasks (color, compositional spatial, celebrity identity).

   Python 4 1

2. roboflow/supervision roboflow/supervision Public

   We write your reusable computer vision tools. 💜

   Python 49.4k 4.7k

3. 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 164k 34.3k

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

   A collection of formalized statements of conjectures in Lean.

   Lean 1.2k 411

5. huggingface/lerobot huggingface/lerobot Public

   🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning

   Python 26.7k 5.4k

6. facebookresearch/projectaria_tools facebookresearch/projectaria_tools Public

   projectaria_tools is an C++/Python open-source toolkit to interact with Project Aria data.

   C++ 831 123