Good to see PLUM (Programming Languages at the University of Maryland) releasing their work on GitHub. They're among the most talented in the department at UMD.
(disclaimer: I just graduated from PLUM)
I'm an undergraduate, so my experience with PLUM is just that of an admirer looking in ;)