Rankings
Badges
/
Trebor-Huang
Rankings
Badges
Overview
Ranks
Repositories
Languages
Trebor Huang
@Trebor-Huang
Refresh
Open GitHub
Internal cat of a doughnut
Profile age: over 7 years
Updated 4 days ago
325 followers • 20 following
Contacts
https://trebor-huang.github.io/
@trebor@types.pl
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 5
Persona
Influencer
#62,823
#1,170,667
#29,890
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
history
353
10
38
updated 6 months ago • age almost 3 years
TeX
100.0%
combinator-nbe
26
2
updated over 3 years ago • age almost 4 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 almost 2 years ago • age almost 2 years
Typst
93.4%
TeX
6.6%
vscode-forester
21
1
updated 6 months ago • age almost 2 years
TypeScript
100.0%
View all 16 repositories
Last Contributions
2024
cubical
1 PR
+732
-7
Agda
512
156
8
zombie_paper
2 PRs
+113
-96
TeX
5
0
2023
btex
1 PR
+23
-14
TypeScript
51
3
2022
Techmino
1 PR
+39
-2
Lua
722
73
36
cubical
1 PR
+0
-1
Agda
512
156
8
View all contributions
Latest Updates
13 Nov 2025
Followers Count:
324
325
29 Oct 2025
Followers Count:
323
324
15 Oct 2025
Followers Count:
325
323
01 Oct 2025
Followers Count:
323
325
16 Sep 2025
Followers Count:
322
323
20 Jan 2025
First seen
Subscribe to Trebor-Huang's GitHub rank updates in your messenger
WhatsApp
Telegram
