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.
Forked from UoEMainLibrary/LibraryMapping
Library Mapping Project
AI planning with situational calculus
Tool using Machine Learning (SVM) and NLP to predict hackathon winners
Propositional Model Checking and Satisfiability
An implementation of the Language Processing Pipeline for a reduced version of Haskell (Micro-Haskell)
Seeing something unexpected? Take a look at the
GitHub profile guide.