Rankings
Badges
/
rindPHI
Rankings
Badges
Overview
Ranks
Repositories
Languages
Dominic Steinhöfel
@rindPHI
Refresh
Open GitHub
🇩🇪 Darmstadt, Germany
https://www.cispa.de/en
Profile age: about 15 years
Updated 14 days ago
30 followers • 9 following
Contacts
https://www.dominic-steinhoefel.de
@DomSteinhoefel
Repositories
isla
70
9
29
updated over 1 year ago • age almost 4 years
Python
99.1%
ANTLR
0.6%
Shell
0.2%
Batchfile
0.1%
Dockerfile
0.1%
islearn
16
3
3
updated over 1 year ago • age over 3 years
Python
98.6%
ANTLR
1.2%
Dockerfile
0.2%
FSAUtils
14
5
2
updated over 6 years ago • age over 11 years
Scala
100.0%
FirstOrderParser
8
1
updated about 9 years ago • age over 11 years
Java
100.0%
grammar2regex
7
0
updated over 1 year ago • age almost 4 years
Python
100.0%
pluggabl
5
0
updated almost 5 years ago • age almost 5 years
Kotlin
100.0%
GrammarGraph
5
0
1
updated almost 2 years ago • age over 4 years
Jupyter Notebook
55.6%
Python
44.4%
proxyorderedset
0
1
updated about 2 years ago • age almost 4 years
Python
100.0%
Contributions
2022
z3
1 PR
+6
-2
C++
11,443
1,569
50
grammars-v4
1 PR
+230
-0
ANTLR
10,812
3,786
fuzzingbook
2 PRs
+3
-3
Jupyter Notebook
1,214
262
BibLatex-Check
1 PR
+3
-1
Python
179
35
6
2021
debuggingbook
1 PR
+8
-6
Python
268
177
1
2016
teachPress
1 PR
+46
-41
PHP
59
44
66
