Joomy Korkut

Joomy Korkut

@joom

Formal verification and programming languages researcher.

@Bloomberg New York City
471
Followers
447
Following
80
Public Repos
0
Private Repos

Language Breakdown

Lines of code distribution across 51 owned repositories

9.0M Total LOC
C++
2,735,899 lines
30.5%
N/A
TeX
1,890,692 lines
21.1%
N/A
C
1,707,500 lines
19.0%
N/A
HTML
698,093 lines
7.8%
N/A
Haskell
532,101 lines
5.9%
N/A
Other
1,407,082 lines
15.7%
N/A
M

M-Shaped Developer

M-shaped

Multi-specialist across C++, TeX, C

C++
TeX
C
HTML
Haskell

Collaboration Network

Global Impact visualization

LIVE
Joomy Korkut
0 active collaborators

Repos

103

PRs

0

Growth

+18%

Top Collaborators

No collaborator data yet.

Coding Streak

Contribution activity over the past year

1 day
1,048
Contributions
1,002
Commits
11
Pull Requests
Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun
Mo
We
Fr
Based on GitHub activity
Less
More