Stars
Operations on matrices, vectors, and quaternions
Arena-Hard-Auto: An automatic LLM benchmark.
This is a python implementation for stitching images.
Official implementation of "MIMO: Controllable Character Video Synthesis with Spatial Decomposed Modeling"
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
LLMs as Copilots for Theorem Proving in Lean
Retrieval-Augmented Theorem Provers for Lean
Tool for data extraction and interacting with Lean programmatically.
Open-source LLM load balancer and serving platform for self-hosting LLMs at scale 🏓🦙
NVIDIA Linux open GPU with P2P support
Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"
Code release for NeRF (Neural Radiance Fields)
CoTracker is a model for tracking any point (pixel) on a video.
[CVPR 2024 Highlight] The official repo for "GaussianAvatars: Photorealistic Head Avatars with Rigged 3D Gaussians"
Foundational Models for State-of-the-Art Speech and Text Translation
The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.
A list of AI agents and robots to block.
Official Pytorch repository for Extreme Compression of Large Language Models via Additive Quantization https://arxiv.org/pdf/2401.06118.pdf and PV-Tuning: Beyond Straight-Through Estimation for Ext…