Popular repositories Loading
-
segment-anything
segment-anything PublicThe 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.
-
detectron2
detectron2 PublicDetectron2 is a platform for object detection, segmentation and other visual recognition tasks.
Repositories
-
-
- vrs Public
VRS is a file format optimized to record & playback streams of sensor data, such as images, audio samples, and any other discrete sensors (IMU, temperature, etc), stored in per-device streams of timestamped records.
- project_superdex Public
SuperDex brings together a purpose-built physics engine, robotics authoring tools, and a scalable reinforcement learning interface in a unified simulation platform, with VR-based teleoperation and additional capabilities planned for future releases.
-
- projectaria_tools Public
projectaria_tools is an C++/Python open-source toolkit to interact with Project Aria data.
- lean_kernel_verify Public
Compiler-based safety checker for GPU kernels. It lowers the real compiler's IR into a small kernel IR and decides specs in Lean 4 (bounds, hangs, exactly-once writes, barrier protocol, races) with no hand-written model. Specs and frontends plug in independently; today Triton/TLX and CuTe DSL on NVIDIA Blackwell.
