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
- 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.
-
- 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.
-
- spidr Public
This repository contains the training code from paper "SpidR Learning Fast and Stable Linguistic Units for Spoken Language Models Without Supervision". SpidR is a self-supervised speech representation model that efficiently learns strong representations for spoken language modeling.
- SustainableConcrete Public
Repository to track versions of concrete strength data, models, and active learning proposals.
