Rankings
Badges
/
marklemay
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mark Lemay
@marklemay
Refresh
Open GitHub
🇺🇸 Boston
Profile age: over 12 years
Updated 14 days ago
11 followers • 28 following
Contacts
lemay@bu.edu
@MarkLem34900421
Repositories
scala-validations
11
2
updated over 3 years ago • age almost 12 years
Scala
100.0%
GraphAutomata
9
4
updated over 3 years ago • age over 8 years
Scala
100.0%
DependentlyTypedPython
8
0
updated over 8 years ago • age almost 9 years
Python
100.0%
tptpParser
8
2
updated over 6 years ago • age almost 12 years
Java
100.0%
dDynamic
6
1
1
updated over 1 year ago • age over 4 years
Haskell
100.0%
calculus-of-constructions
6
1
updated over 3 years ago • age over 7 years
Scala
100.0%
thesis
3
0
1
updated almost 2 years ago • age about 4 years
TeX
78.8%
Agda
21.2%
scala-linux-provence-module
2
1
updated over 8 years ago • age over 8 years
Scala
100.0%
neo4j-scala-graph
2
0
updated over 8 years ago • age over 8 years
Scala
100.0%
massdebate
2
1
updated almost 10 years ago • age about 11 years
Python
90.0%
HTML
10.0%
Show more - 10 of 19 shown
Contributions
2025
jazzer
1 PR
+1
-1
Java
1,162
162
28
2024
EnergyPlus
2 PRs
+49
-28
C++
1,337
452
91
2023
EnergyPlus
1 PR
+3
-2
C++
1,337
452
91
2021
latex-action
1 PR
+2
-0
Shell
1,296
143
34
mcb
3 PRs
+4
-4
TeX
147
26
2
2020
wiwinwlh
1 PR
+1
-1
Haskell
2,635
243
effects-bibliography
2 PRs
+8
-0
1,091
92
logict
1 PR
+28
-9
Haskell
92
13
2019
moniker
1 PR
+2
-2
Rust
68
7
agda-mode
1 PR
+6
-0
Reason
58
14
40
Show more
