~pmikkelsen/software-foundations