Coursera Works repo / Coursera 课程作业存放点 最喜欢的课程 type safe 的所有scala课程 [andrew] ng machine learning [stepik] dependent types