Rankings
Badges
/
Ailrun
Rankings
Badges
Overview
Ranks
Repositories
Languages
Junyoung/"Clare" Jang
@Ailrun
Refresh
Open GitHub
🇨🇦 Montreal, QC, Canada
CompLogic @ McGill University
Profile age: over 10 years
Updated 12 days ago
186 followers • 13 following
Contacts
jjc9310@gmail.com
http://Ailrun.github.io/
https://hackers.pub/@ailrun
Organizations
Profile Overview
Global
Canada
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Canada
Elite 2
Persona
Contributor
#3,757
#925
#1,214
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
core-lang-haskell
33
4
updated over 6 years ago • age over 6 years
Haskell
97.1%
Coq
2.9%
typed-f
20
2
3
updated over 5 years ago • age about 7 years
TypeScript
95.1%
JavaScript
4.9%
magit-lfs
18
5
2
updated almost 3 years ago • age over 8 years
Emacs Lisp
100.0%
rxpressive
9
2
1
updated almost 7 years ago • age over 8 years
JavaScript
100.0%
satyros
9
1
updated about 3 years ago • age about 4 years
Haskell
100.0%
View all 16 repositories
Last Contributions
2025
melpa
1 PR
+1
-0
Emacs Lisp
2,878
2,614
agda-stdlib
1 PR
+32
-23
Agda
629
258
16
opam-repository
1 PR
+58
-0
555
1,207
McTT
~14 PRs
+655
-449
Rocq Prover
26
2
2
2024
DefinitelyTyped
2 PRs
+2
-12
TypeScript
50,500
30,492
1
View all contributions
Latest Updates
16 Oct 2025
Followers Count:
187
186
02 Oct 2025
Social Accounts:
[object Object]
generic: https://hackers.pub/@ailrun
04 Sep 2025
Followers Count:
186
187
21 Aug 2025
Followers Count:
185
186
07 Aug 2025
Followers Count:
184
185
06 Jan 2025
First seen
Subscribe to Ailrun's GitHub rank updates in your messenger
WhatsApp
Telegram
