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 2 hours 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
#61,951
#1,158,013
#29,587
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 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%
View all 16 repositories
Last Contributions
2024
cubical
1 PR
+732
-7
Agda
501
154
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
501
154
8
View all contributions
Latest Updates
01 Oct 2025
Followers Count:
323
325
16 Sep 2025
Followers Count:
322
323
02 Sep 2025
Website Url:
https://trebor-huang.github.io/
Followers Count:
320
322
18 Aug 2025
Followers Count:
322
320
03 Aug 2025
Followers Count:
321
322
20 Jan 2025
First seen
Subscribe to Trebor-Huang's GitHub rank updates in your messenger
WhatsApp
Telegram
