[CVPR 2026] Official implementation of "Exact-GS: Mathematically Rigorous and Accurate 3D Gaussian Splatting for 3D X-ray Reconstruction"

"Structure-Aware Sparse-View X-ray 3D Reconstruction" (CVPR 2024) - A Toolbox for CT reconstruction and X-ray Novel View Synthesis

A unified framework for building and studying analytical diffusion models

TIGRE: Tomographic Iterative GPU-based Reconstruction Toolbox

Auto-differentiable digitally reconstructed radiographs in PyTorch

Train, inspect, edit, automate, and export 3D Gaussian Splatting scenes from a single native application.

A tiny implementation of a simple Ray-Tracing engine to render a sphere with Phong Shading.

On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification

[MICCAI 2025] DIGS: Dynamic CBCT Reconstruction using Deformation-Informed 4D Gaussian Splatting and a Low-Rank Free-Form Deformation Model

[ICCV 2025] Official Implementation for Paper 'Discretized Gaussian Representation for Tomographic Reconstruction'

Spatiotemporal Gaussian Optimization for 4D Cone Beam CT Reconstruction from Sparse Projections

X-GRM: Large Gaussian Reconstruction Model for Sparse-view X-rays to Computed Tomography

Code for the paper "From microfacets to participating media: A unified theory of light transport with stochastic geometry"

Gaussian splats in your terminal.

Geometric kernels on manifolds, meshes and graphs

Geometry-Grounded Gaussian Splatting

My MacOS nix-darwin configuration

A `flake-parts` Nix module for Haskell development

Dr.Jit — A Just-In-Time-Compiler for Differentiable Rendering

[NeurIPS 2024 Spotlight] Implementation of the paper "3D Gaussian Splatting as Markov Chain Monte Carlo"

A library for differentiable nonlinear optimization

Agents in llama.cpp

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

A cross-platform GUI library for Rust, inspired by Elm

An easy-to-use Python library for processing and manipulating 3D point clouds and meshes.

Uniform Manifold Approximation and Projection

Statsmodels: statistical modeling and econometrics in Python

The analysis and implementation of SO3 log map, and its jacobians. The special focus on edge cases (angle close to 0 or \pi).

A python binding using pybind11 for Sophus which is a C++ Lie library.(SO3 && SE3)

Homebrew installation manager for nix-darwin