Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Michalis Kokologiannakis
Michalis Kokologiannakis
@michalis
User ID: 216
Member since February 14, 2017
www.mpi-sws.org/~michalis
Overview
Activity
Groups
Contributed projects
Personal projects
Starred projects
Snippets
Followers
0
Following
0
There was an error loading users activity calendar.
Retry
Activity
View all
Personal projects
View all
Most Recent Activity
