What I did at dev1

I was involved in both dev1 and the modular forms school; I'll divide what I did into two groups, though I don't know if the division is that meaningful.

dev1