Geeks
mattis
Location:
Germany
mattis Home
mattis GitHub
3
Repos
44
Stars
11
Followers
7
Following
Pinned Repositories
dtl
a Dependently Typed Language
2
3
0
0
PathPal
Language:
Java
1
4
0
0
mattis's Repositories
mattis/
dtl
a Dependently Typed Language
2
3
0
0