Rankings
Badges
/
aqjune
Rankings
Badges
Overview
Ranks
Repositories
Languages
Juneyoung Lee
@aqjune
Refresh
Open GitHub
🇺🇸 Austin, TX
AWS
Profile age: almost 12 years
Updated 7 days ago
86 followers • 5 following
Contacts
aqjune@gmail.com
https://aqjune.github.io/
https://github.com/aqjune-aws
Organizations
Repositories
mlir-tv
88
12
1
updated 7 months ago • age over 4 years
C++
44.5%
MLIR
30.2%
Python
24.5%
CMake
0.8%
llvmscript
11
8
updated over 3 years ago • age about 7 years
Python
92.3%
C++
7.7%
hol-light-materials
8
0
updated about 2 months ago • age almost 3 years
OCaml
71.6%
Python
28.4%
eurollvm19
5
2
updated over 6 years ago • age over 6 years
llvm-intptr
1
0
updated almost 7 years ago • age over 8 years
LLVM
43.6%
C++
41.6%
Assembly
13.5%
Mirah
0.9%
Python
0.4%
clang-intptr
0
0
updated almost 7 years ago • age over 8 years
hol-light
0
0
updated 10 months ago • age almost 3 years
OCaml
99.4%
Sage
0.4%
Makefile
0.1%
Shell
0.1%
TeX
0.0%
Contributions
2025
opam-repository
2 PRs
+90
-0
555
1,207
ledit
1 PR
+6
-0
OCaml
9
3
vscode-hol-light
~6 PRs
+177
-30
TypeScript
6
1
9
2024
llvm-project
1 PR
+188
-2
LLVM
34,927
14,866
140
opam-repository
3 PRs
+124
-7
555
1,207
hol-light
2 PRs
+3,768
-25
OCaml
477
84
2
slothy
3 PRs
+104
-23
Assembly
223
23
7
s2n-bignum
1 PR
+85
-42
OCaml
186
38
hol-light.github.io
3 PRs
+411
-6,045
HTML
1
2
2023
hol-light
~10 PRs
+230
-3
OCaml
477
84
2
Show more
