- All languages
- Bikeshed
- Bison
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Dart
- Elixir
- Elm
- Emacs Lisp
- GLSL
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Lean
- Less
- Makefile
- Mathematica
- Nearley
- OCaml
- Objective-C
- PHP
- Perl
- PureScript
- Python
- Reason
- Ruby
- Rust
- SCSS
- Sage
- Scala
- ShaderLab
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- Vue
- WebAssembly
Starred repositories
converting indoor point cloud scans into structured data
(ICLR2026) ReconViaGen: Towards Accurate Multi-view 3D Object Reconstruction via Generation
Native and Compact Structured Latents for 3D Generation
OpenTopos — unified, code-driven 3D object generation: static + articulated + texture (incl. UV atlas), multi-agent + Blender
RoboVerse: Towards a Unified Platform, Dataset and Benchmark for Scalable and Generalizable Robot Learning
A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.
A research microVM for macOS on Apple Silicon (Hypervisor.framework) — architecturally modeled on AWS Firecracker, not a port. Boots Linux, virtio, SMP, snapshot/restore.
Rebuild the object in a reference image as a code-only, procedural, quality-gated, animation-ready Three.js model. Token-efficient image-to-3D.
A library of agent skills for CAD, CAE and CAM
Codex plugin that turns attached object images into code-only, animation-ready procedural Three.js models.
Lightweight coding agent that runs in your terminal
FlashInfer: Kernel Library for LLM Serving
[CVPR 2026] Scaling Spatial Intelligence with Multimodal Foundation Models
S-Agent: Spatial Tool-Use Elicits Reasoning for Spatial Intelligence
Archived snapshot of Thinking-with-Visual-Primitives
FrontierSWE is an ultra long-horizon coding agent benchmark that tests implementation, performance eng and ML research
Statistical analysis for LLM evaluations, from model and prompt comparisons to inference resilient to LLM judge bias, including at small sample sizes. All defaults battle-tested in Monte Carlo simu…
Group theory visualization software in the browser
Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization, and programmability.
Fast and streamable Excalidraw MCP App
A collection of optimization problems in mathematics
Lean 4 theorem proving skill and workflow pack for AI coding agents
Using openCV to identify pool balls on a pool table.