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
-
- omnifacerig Public
This repo releases opensourced contents for the paper Fully Automatic Inner-Mouth-Aware Face RiggingAcross Diverse 3D Character Topologies
-
- 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.
-