Jonathan Ho

diffusion. Denoising Diffusion Probabilistic Models

localbitsback. Compression with Flows via Local Bits-Back Coding

bulletsim. Simulation environment with Bullet physics

tracking. Tracking Deformable Objects with Point Clouds

isoperimetric. Lean 4 proofs of the isoperimetric inequality, Brunn-Minkowski inequality, and Prékopa-Leindler inequality

surgical. An open-source simulator for surgical tools.

Theano. Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It can use GPUs and perform efficient symbolic differentiation.