Rankings
Badges
/
matthesjh
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jan-Hendrik Matthes
@matthesjh
Refresh
Open GitHub
🇩🇪 Kiel, Germany
Cap3 GmbH (@cap3)
Profile age: over 8 years
Updated 7 days ago
24 followers • 56 following
Contacts
matthesjh@gmail.com
https://matthesjh.github.io/
Organizations
Repositories
coq-tal
17
1
updated over 1 year ago • age over 7 years
Coq
100.0%
tree-sitter-curry
5
1
3
updated about 1 month ago • age over 6 years
JavaScript
59.0%
C
30.9%
Tree-sitter Query
10.2%
rewriting-curry
5
0
3
updated almost 5 years ago • age over 6 years
Contributions
2018
gui-electron
1 PR
+189
-567
TypeScript
4
0
28
