Rankings
Badges
/
lex-lex
Rankings
Badges
Overview
Ranks
Repositories
Languages
Alexander Steen
@lex-lex
Refresh
Open GitHub
🇩🇪 Germany
University of Greifswald
Profile age: over 14 years
Updated 12 days ago
14 followers • 1 following
Contacts
alexander.steen@uni-greifswald.de
https://www.alexandersteen.de
Organizations
Repositories
Leo-III
1
0
updated over 1 year ago • age over 11 years
Scala
81.8%
OpenEdge ABL
14.5%
ANTLR
1.8%
Python
1.2%
Shell
0.7%
Contributions
2024
InterpretationFormat
1 PR
+35
-20
TeX
0
1
2023
europroofnet.github.io
2 PRs
+13
-0
Ruby
13
64
2021
Leo-III
2 PRs
+5,362
-19,528
Scala
50
10
12
scala-tptp-parser
2 PRs
+2,685
-147
Scala
6
6
15
2020
embed_modal
1 PR
+7
-0
Python
5
2
2
2018
embed_modal
1 PR
+71
-27
Python
5
2
2
backend
1 PR
+4
-0
JavaScript
3
3
2017
Leo-III
1 PR
+14,227
-218
Scala
50
10
12
2016
Leo-III
1 PR
+158
-124
Scala
50
10
12
2014
Leo-III
2 PRs
+1,101
-611
Scala
1
0
Show more
