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
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%
pile-of-characters
8
0
updated over 3 years ago • age over 3 years
tsdux
7
0
8
updated almost 3 years ago • age over 7 years
TypeScript
94.1%
JavaScript
4.7%
Shell
1.2%
lambda-cube
7
0
updated about 4 years ago • age about 4 years
Haskell
100.0%
coq-commenter
6
2
updated about 8 years ago • age over 9 years
Emacs Lisp
100.0%
LambdaDB
5
0
updated almost 6 years ago • age over 9 years
Haskell
100.0%
Show more - 10 of 16 shown
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
McTT
~108 PRs
+853
-852
Rocq Prover
26
2
2
2023
McTT
3 PRs
+202
-172
Rocq Prover
26
2
2
2022
haskell-language-server
1 PR
+208
-133
Haskell
2,850
408
42
2021
haskell-language-server
~35 PRs
+18
-20
Haskell
2,850
408
42
stylish-haskell
1 PR
+18
-4
Haskell
1,018
153
29
Show more
