TH3CHARLie
Follow
Stars
High-performance multi-platform compiler for physics simulation
An end-to-end agent project for GPU kernel implementation, analysis, profiling, and iterative optimization. It helps an agent turn PyTorch logic or an existing kernel into a high-performance GPU ke…
An agentic skills framework & software development methodology that works.
Official implementation of the paper MoVer: Motion Verification for Motion Graphics Animations (SIGGRAPH 2025)
Vera: a programming language designed for LLMs to write
CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…
incubator repo for CUDA-TileIR backend
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Official Code Release for [SIGGRAPH 2025] RenderFormer: Transformer-based Neural Rendering of Triangle Meshes with Global Illumination
A Python-embedded DSL that makes it easy to write fast, scalable ML kernels with minimal boilerplate.
Official implementation of Siggraph 2025 paper "Transforming Unstructured Hair Strands into Procedural Hair Grooms"
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
Supplemental source code for SIGGRAPH 2025 technical paper: "Fast Isotropic Median Filtering".
Named Arguments as Intersections, Optional Arguments as Unions (Artifact)
A prototype differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and discontinuities and supports separate compilation.
⏰ PL conference deadline countdowns
Google Coding Competitions problem archive
An interpreter for Janus, the reversible programming language.
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/