timthirion

Senior Engineering Manager @polycam

@polycamCarrboro, NC

Pinned Repositories

dotfiles
config.exe
Language:Vim Script0 1 00
Lean
Explorations with the Lean Theorem Prover
0 1 00
Rust
Language:Swift0 1 00

timthirion's Repositories

timthirion/dotfiles
config.exe
Language:Vim Script0 1 00
timthirion/Lean
Explorations with the Lean Theorem Prover
0 1 00
timthirion/Rust
Language:Swift0 1 00
timthirion/timthirion
timthirion/timthirion.github.io
Language:SCSS1 0