Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
☁️ CopenHacks 2019, architecture sketch deployment on the cloud
🔀 An LSP tool to maintain cross-references consistency on ROS packages.
🤓 Idris implementation of a type-correct, stack-safe compiler including exception handling
🎄 Christmas programming challenge
🔡 Natural Language Processing and Deep Learning
🚂 Group 3 — MoSyL project
Seeing something unexpected? Take a look at the
GitHub profile guide.