Public code for Dasein Design.