You like pytorch? You like micrograd? You love tinygrad! ❤️

Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more

The filesystem for agents.

DSPy: The framework for programming—not prompting—language models

AI agent skills for startup validation, competitive intelligence, and planning — works with Claude Code

Official code of "Generation Models Know Space: Unleashing Implicit 3D Priors for Scene Understanding"

More practical frame interpolation approach.

ECCV2022 - Real-Time Intermediate Flow Estimation for Video Frame Interpolation

[GDGS] A real-time 3D Gaussian Splatting (3DGS) rendering plugin for the Godot Engine. Godot引擎的实时3DGS渲染插件

Reference code for the Slug Algorithm.

PEAR :Pixel-aligned Expressive humAn mesh Recovery

[ICCV 2025] FaceLift: Learning Generalizable Single Image 3D Face Reconstruction from Synthetic Heads

Timehash: Hierarchical temporal indexing for efficient "open now" search in large-scale POI systems.

Pytorch demo code and models for Multi-HMR

[ICCV 2023] PyTorch Implementation of "MotionBERT: A Unified Perspective on Learning Human Motion Representations"

MMPose PyTorch Inference

QuickLook plugin for previewing various file types with WebViewPlus

A plugin for viewing 3D models with QuickLook (Beta)

Bring macOS “Quick Look” feature to Windows

Skills, rules, and validation hooks that teach AI coding agents to generate correct UdonSharp code (VRChat SDK 3.7.1–3.10.2)

BaoBuildBuddy is a Bun-first AI career assistant for the video game industry, combining job aggregation, resume and cover letter tools, interview prep, browser automation, and gamified progress tra…

Introducing NERD - the first intermediate language designed for machine authorship

Collaborative editing for ProseMirror

A free, open-source chat app for communities.

A pocket-calculator version of a synthesizer