Trebor Huang
@Trebor-HuangI'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Language Breakdown
Lines of code distribution across 40 owned repositories
M-Shaped Developer
M-shapedMulti-specialist across Typst, TeX, Agda
Collaboration Network
Global Impact visualization
Repos
62
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Reed Mullanix
@TOTBWF
胡译文
@huyiwen
Mitchell Riley
@mvr
Emily Riehl
@emilyriehl
Zhao Yuyang 赵雨扬
@astrainfinita
Top Repositories
History of type theory (Chinese).
Normalization by evaluation of simply typed combinators.
VSCode support for Forester
Models of dependent type theory
VSCode extension for bTeX.
🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
An embedding of ZFC into Agda
A modern, principled toy implementation of dependent type theory
An implementation of a Zeilberger-style linear type theory.
Open Source Impact
Contributions to external projects
No external contributions found.