Siddharth's starred repositories
gaussian-splatting
Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"
git-branchless
High-velocity, monorepo-scale workflow for Git
stable-diffusion.cpp
Stable Diffusion in pure C/C++
luajit-remake
An ongoing attempt to re-engineer LuaJIT from scratch
bintracker
A hackable Chiptune Audio Workstation. https://bintracker.org
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
Second-Climacs
Version 2 of the Climacs text editor.
nasin-toki
mi pana sona pi nasin toki mi lon lipu ni
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Collaboration
Play/learn/work with me
summonscript
Manifest manifold models with magical machinations.
socket.lean
sockets for Lean 4
act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
ed-restaurants
A list of nice restaurants in Edinburgh
barvinok-in-islpy
An implementation of Barvinok's Algorithm (for counting integer points in polyhedra) in islpy, preliminary to an FPL implementation.