So, I have been accepted as a Google Summer of Code student to SymPy. The coolest part is that I have been accepted with a very experimental project concerned with category theory (the proposal is here), for which I am very thankfull to all mentors of SymPy and, in particular, to the project leader Aaron Meurer.
I am still busy with my university affairs now, so I’ll only be doing minor fixes while my the semester hasn’t finished at the end of May. However, I plan to become more active in about a week, when a lot of deadlines which I have now will have expired.