Stars
ARES - Automatic Robot Evaluation System. A simple, scalable solution for robotics research
RL training library for humanoid locomotion and manipulation. Built on top of MuJoCo and JAX.
Pytorch implementation of "Genie: Generative Interactive Environments", Bruce et al. (2024).
A collection of high-quality models for the MuJoCo physics engine, curated by Google DeepMind.
Implementation of Universal Transformer in Pytorch
Implementation of a Transformer that Ponders, using the scheme from the PonderNet paper
Tool for data extraction and interacting with Lean programmatically.
Retrieval-Augmented Theorem Provers for Lean
Mock Interview Simulator with AI-Powered Feedback
An opinionated collection of components, hooks, and utilities for your Next.js project.
💼 An enterprise-grade Next.js boilerplate for high-performance, maintainable apps. Packed with features like Tailwind CSS, TypeScript, ESLint, Prettier, testing tools, and more to accelerate your d…
Collection of Summer 2026 tech internships!
A list of Summer 2024 internships for software engineering, updated automatically everyday
Collection of Summer 2024 Internships
Code repo for "WebArena: A Realistic Web Environment for Building Autonomous Agents"
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Easy-to-use image segmentation library with awesome pre-trained model zoo, supporting wide-range of practical tasks in Semantic Segmentation, Interactive Segmentation, Panoptic Segmentation, Image …
Community list of startups working with AI in audio and music technology
Implementation of RLHF (Reinforcement Learning with Human Feedback) on top of the PaLM architecture. Basically ChatGPT but with PaLM