Tiark Rompf
@TiarkRompf
Faculty at Purdue University
345
Followers
9
Following
44
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 29 owned repositories
40.4M
Total LOC
Coq
15,478,560 lines
38.3%
N/A
Rocq Prover
15,379,932 lines
38.1%
N/A
Scala
6,660,215 lines
16.5%
N/A
C
1,460,898 lines
3.6%
N/A
Lean
432,550 lines
1.1%
N/A
Other
1,002,521 lines
2.5%
N/A
T
T-Shaped Developer
T-shapedDeep in Coq with broad versatility
Coq
Rocq Prover
Scala
C
Lean
Collaboration Network
Global Impact visualization
Repos
84
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
1,470
Contributions
73
Commits
0
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
9 total
Anxhelo Xhebraj
@Angelogeb
David Deng
@PROgram52bc
Guannan Wei
@Kraks
Songlin Jia
@Tantalus13A98B5F
RuiqiGao
@Kuigesi
Synced via GitHub
Top Repositories
virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
334
89
Scala
lancet
surgical precision JIT compilers
123
10
Scala
scala-virtualized
The Scala Programming Language: Virtualized
104
4
collapsing-towers
Collapsing Towers of Interpreters
93
6
Rocq Prover
minidot
Dependent Object Types (DOT), bottom up
89
14
Coq
scala-escape
A compiler plug-in to control object lifetimes in Scala
65
4
Coq
reachability
56
5
Rocq Prover
lms-clean
56
25
Scala
rrbtrees
RRB-Trees: Efficient Immutable Vectors
53
1
Scala
replhtml
Scala REPL with a nice HTML GUI
49
11
Scala
Open Source Impact
Contributions to external projects
17 merged PRs
No external contributions found.