Public code for Dasein Design