Trebor Huang

icon indicating a website link https://trebor-huang.github.io/

icon location Internal cat of a doughnut icon location I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Results 7 repositories owned by Trebor Huang

combinator-nbe

26
Stars
2
Forks
26
Watchers

Normalization by evaluation of simply typed combinators.

verified publisher icon Trebor-Huang

Down-The-Path

25
Stars
0
Forks
Watchers

Spartan implementation of H.O.T.T.

verified publisher icon Trebor-Huang

ice1000

19
Stars
2
Forks
19
Watchers

🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟

verified publisher icon Trebor-Huang

vscode-btex

20
Stars
3
Forks
20
Watchers

VSCode extension for bTeX.

verified publisher icon Trebor-Huang

history

355
Stars
10
Forks
355
Watchers

History of type theory (Chinese).

verified publisher icon Trebor-Huang

HomotopyHistory

22
Stars
0
Forks
22
Watchers

verified publisher icon Trebor-Huang

vscode-forester

22
Stars
2
Forks
22
Watchers

VSCode support for Forester

verified publisher icon Trebor-Huang