6.005 — Software Construction
mit6005 on GitHub