Rankings
Badges
/
Trebor-Huang
Rankings
Badges
Overview
Ranks
Repositories
Languages
Trebor Huang
@Trebor-Huang
Refresh
Open GitHub
Internal cat of a doughnut
Profile age: about 7 years
Updated about 12 hours ago
325 followers • 20 following
Contacts
https://trebor-huang.github.io/
@trebor@types.pl
Repositories
history
352
10
38
updated 4 months ago • age almost 3 years
TeX
100.0%
combinator-nbe
26
2
updated over 3 years ago • age over 3 years
Agda
95.7%
Python
4.3%
Down-The-Path
25
0
updated about 3 years ago • age over 3 years
Python
90.8%
Agda
5.1%
Haskell
4.1%
HomotopyHistory
22
0
updated over 1 year ago • age over 1 year
Typst
93.4%
TeX
6.6%
vscode-forester
21
1
updated 4 months ago • age over 1 year
TypeScript
100.0%
vscode-btex
20
3
updated almost 2 years ago • age over 3 years
TypeScript
60.7%
CSS
39.3%
ice1000
19
2
updated over 3 years ago • age over 3 years
Haskell
100.0%
ZFC
13
1
updated almost 4 years ago • age almost 4 years
Agda
100.0%
model
13
0
updated 2 months ago • age 5 months
Typst
100.0%
agda-linear
11
0
updated almost 4 years ago • age almost 4 years
Agda
100.0%
Show more - 10 of 16 shown
Contributions
2024
cubical
1 PR
+732
-7
Agda
505
156
8
zombie_paper
2 PRs
+113
-96
TeX
5
0
2023
btex
1 PR
+23
-14
TypeScript
50
3
2022
Techmino
1 PR
+39
-2
Lua
704
73
36
cubical
1 PR
+0
-1
Agda
505
156
8
agda-categories
1 PR
+67
-0
Agda
387
72
12
agda-mode-vscode
1 PR
+30
-11
ReScript
179
45
musescore-microtonal-edo-plugin
1 PR
+65
-41
QML
51
9
btex
2 PRs
+7
-4
TypeScript
50
3
cubical-classics
2 PRs
+337
-15
Agda
32
2
Show more
