Design Explorer by Hoare Lea This Design Explorer is modified for Hoare Lea use. The original: https://github.com/tt-acm/DesignExplorer